BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.cam.ac.uk//v3//EN
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:19700329T010000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:19701025T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CATEGORIES:Isaac Newton Institute Seminar Series
SUMMARY:Micro-architectural modelling and verification of 
 an x86 micro-processor - Anna Slobodova (Intel)
DTSTART;TZID=Europe/London:20241007T113000
DTEND;TZID=Europe/London:20241007T121500
UID:TALK220243AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/220243
DESCRIPTION:In this talk\, we will present an approach to mode
 lling and verification of an implementation of hig
 h-performance x86 micro-processor. We will discuss
  how theorem prover with build in automated proced
 ures can tackle problems of enormous size and faci
 litate continuous integration of&nbsp\; a design.
LOCATION:Seminar Room 1\, Newton Institute
CONTACT:
END:VEVENT
END:VCALENDAR