Practical Formal Verification in Microprocessor Design

Détails bibliographiques
Auteurs principaux: Jones, R, O'Leary, J, Seger, C, Aagaard, M, Melham, T
Format: Journal article
Publié: 2015