Past Details

Averroes: Scalable Formal Hardware Verification

Date / Time:
17/02/2014 Download ICS File
Location:
Carnegie Mellon Qatar - Room # 1202
Category:
Lectures and Activities
QCRI-Logo-new-2016.jpg Karem A Sakallah is a Professor of Electrical Engineering and Computer Science at the University of Michigan. During a sabbatical at CMU-Q in 2007/2008 he participated in drafting the plans for what became the Qatar Computing Research Institute.  He is currently on leave at QCRI hoping to apply what he learned about verifying complex hardware to the field of cybersecurity.  

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.


Follow Us

  • YouTube
  • Twitter
  • Facebook
  • RSS Feed
  • Linkedin
  • github-web.png
Back to Top

In the Media

Forbes fake news pic.jpg

Can AI Put An End To Fake News? Don't Be So Sure

07/10/2018

Fake news was the Collin’s word of the year for 2017 with good reason. In a year where politics-as-usual was torn apart at the seams, high-profile scandals rocked our faith in humanity and the ...

Read More

roadtracer.png

MIT/QCRI system uses machine learning to build road maps

22/04/2018

Map apps may have changed our world, but they still haven’t mapped all of it yet. Specifically, mapping roads can be difficult and tedious: even after taking aerial images, companies still have to ...

Read More

Economist story pic.JPG

Improving disaster response efforts through data

08/02/2018

Extreme weather events put the most vulnerable communities at high risk. How can data analytics strengthen early warning systems and and support relief efforts for communities in need? The size and ...

Read More

Events

Past Events

2018

Eman interns pic 2017.jpg

QCRI Summer Internship Program

Download ICS File 06/05/2018  - 05/07/2018 , Hamad Bin Khalifa Research Complex

Each year, Qatar Computing Research Institute organizes a summer internship program for undergraduate students studying computer science, computer engineering and other disciplines. The internship is unpaid, and QCRI does not provide any visa support.

Read More

Regina

Public Talk by Prof. Regina Barzilay "Artificial Intelligence for Oncology: Learning to Cure Cancer from Images and Text"

Download ICS File 27/03/2018 ,

Artificial Intelligence for Oncology: Learning to Cure Cancer from Images and Text A talk by Professor Regina Barzilay, MIT CSAIL Winner of 2017 MacArthur ‘genius grant’ At Education City Student ...

Read More

Slide1.JPG

QCRI & MIT-CSAIL Annual Project Review 2018

Download ICS File 27/03/2018 ,

Executive Overview Sessions Open to public Date:    Tuesday, March 27, 2018 Time:    9:00AM – 3:00PM Venue:  HBKU Research Complex Multipurpose Room To view full agenda, please click here . To RSVP, ...

Read More

News

Ahmed at CSAIL.jpg

MIT-CSAIL hosts annual meeting highlighting collaboration with QCRI

14/10/2018

QCRI scientists travel to MIT-CSAIL campus in Boston to update research projects.

Read More

Ahmed Elmagarmid pic 1.jpg

The drivers behind our new Qatar Center for Artificial Intelligence (QCAI)

03/10/2018

QCRI's Executive Director Dr. Ahmed Elmagarmid explains why we have created a new AI hub in Qatar.

Read More

food security pic.jpg

Using AI to ramp up Qatar’s food security

01/10/2018

Workshop to discuss using AI to build robust supply chains.

Read More