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

ingredients CSAIL.jpg

Artificial intelligence suggests recipes based on food photos

25/07/2017

There are few things social media users love more than flooding their feeds with photos of food. Yet we seldom use these images for much more than a quick scroll on our cellphones. Researchers from ...

Read More

Newsweek logo.png

How did Donald Trump win? WikiLeaks, Twitter helped president beat Hillary Clinton, study shows

16/07/2017

A signature catchphrase, a heavy push for jobs,  his son-in-law’s digital operation  and a blowhard, braggadocios style of speech ultimately handed President Donald Trump the White House on Election ...

Read More

Dacier pic1.jpg

Cyber security experts advise caution after attacks

16/05/2017

Cyber security experts in Qatar and the region have advised caution and not to access any emails or other information from unknown sources, following the recent wave of cyber attacks across the world...

Read More

Events

Past Events

2017

Summer Camp 2.jpg

QCRI to conduct first summer computing camps for kids

Download ICS File 16/07/2017  - 27/07/2017 ,

Children and teenagers will be given a rare chance to develop their computing skills with world-class computing scientists at the first summer computing camp to be conducted by the Qatar Computing ...

Read More

CS 1.jpg

QCRI’s Creative Space holds Open House event for kids

Download ICS File 20/05/2017 ,

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 ...

Read More

Slide1.JPG

QCRI-MIT CSAIL Annual Research Project Review 2017

Download ICS File 27/03/2017 ,

The QCRI – MIT CSAIL Annual Research Project Review is open to the public on Monday, March 27, 2017, at the HBKU Research Complex Multipurpose Room. The annual meeting is a highlight of a ...

Read More

News

Majd interns ex-irina (2).jpg

QCRI’s summer internship program kicks off

07/05/2017

The Qatar Computing Research Institute’s 2017 summer internship program is underway. This year’s program involves computer science and computer engineering students from Carnegie Mellon University, ...

Read More

EMan pic for internships (2).jpg

QCRI summer 2017 internship applications open

11/03/2017

The Qatar Computing Research Institute, part of Hamad bin Khalifa University, has announced that applications for its summer internship program have opened. The internships are being offered to ...

Read More

Slide1.JPG

MIT-CSAIL's Patrick Winston: 'AI is not a threat'

05/03/2017

Artificial intelligence expert tells Qatar audience that humans should not consider AI to be a major threat to their existence but should use it to enhance it.

Read More