IEEE SOCC 2014 Tutorial


Formal Verification in System-on-Chip Design: Scientific Foundations and Practical Methodology” [pdf]

 

A simplified version of the industrial demonstrator (design and properties) discussed in the tutorial can be found here:

http://www.eit.uni-kl.de/eis/forschung/ppa