Averroes: Scalable Formal Hardware Verification
He will describe the Averroes formal hardware verification system which exploits the power of two complementary approaches: counterexample-guided abstraction and refinement (CEGAR) of the design's datapath and the recently-introduced IC3 and PDR approximate reachability algorithms. Averroes is particularly suited to the class of hardware designs consisting of wide datapaths and complex control logic, a class that covers a wide spectrum of design styles that range from general-purpose microprocessors to special-purpose embedded controllers and accelerators. In most of these designs, the number of datapath state variables is orders of magnitude larger than the number of control state variables.
In the Media
Congratulations to Ahmed Ali, Yifan Zhang and Fahim Dalvi for winning the prize of the “Best Audience Experience” category at the news hack hosted by SUMMA and BBC in London on 21-22 November with ...
This year CSAIL celebrates five years of collaboration with the Qatar Computing Research Institute (QCRI), an esteemed research institute that’s part of Hamad Bin Khalifa University in Doha. This ...
We offer an App Inventor Course in Arabic for students aged 13-15 and an Arduino Programming Course in English for students aged 14-18. Courses are free. Please register quickly as places are limited.
Children and teenagers have been given a rare chance to develop their computing skills with world-class computing scientists at the first summer computing camp conducted by the Qatar Computing ...
The Qatar Computing Research Institute’s new Creative Space, which conducts fun activities to teach children computing skills, has successfully held its first Open House event. About 100 children ...
QCRI Social Computing group's principal scientist achieves rare honor.
Chief scientist among only 43 scientists globally - and the only one from the Middle East - to be selected for the honor in 2017.