Verification of out-of-order processor designs using model Checking and a light-weight completion function

DOI10.1023/A:1014170513439zbMath1014.68147MaRDI QIDQ1604724

Sergey Berezin, Yunshan Zhu, Armin Biere, Edmund M. Clarke

Publication date: 8 July 2002

Published in: Formal Methods in System Design (Search for Journal in Brave)

zbMATH Keywords

verificationreference file representation

Mathematics Subject Classification ID

Related Items (1)

Testing diagnostics of modern microprocessors with the use of functional models

This page was built for publication: Verification of out-of-order processor designs using model Checking and a light-weight completion function