Micro-architectural modelling and verification of an x86 micro-processor

Add to your list(s) Download to your calendar using vCal

• Anna Slobodova (Intel)
• Monday 07 October 2024, 11:30-12:15
• Seminar Room 1, Newton Institute.

If you have a question about this talk, please contact nobody.

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

In this talk, we will present an approach to modelling and verification of an implementation of high-performance x86 micro-processor. We will discuss how theorem prover with build in automated procedures can tackle problems of enormous size and facilitate continuous integration of  a design.

This talk is part of the Isaac Newton Institute Seminar Series series.

This talk is included in these lists:

• All CMS events
• Featured lists
• INI info aggregator
• Isaac Newton Institute Seminar Series
• School of Physical Sciences
• Seminar Room 1, Newton Institute
• bld31

Note that ex-directory lists are not shown.