BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Micro-architectural modelling and verification of an x86 micro-pro
 cessor - Anna Slobodova (Intel)
DTSTART:20241007T103000Z
DTEND:20241007T111500Z
UID:TALK220243@talks.cam.ac.uk
DESCRIPTION:In this talk\, we will present an approach to modelling and ve
 rification of an implementation of high-performance x86 micro-processor. W
 e will discuss how theorem prover with build in automated procedures can t
 ackle problems of enormous size and facilitate continuous integration of&n
 bsp\; a design.
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR