Synthesis of Synchronous Elastic Architectures”, Design Automation Conference, 2006. 128 D. Cyrluk, "Microprocessor Verification in PVS: A Methodology and Simple Example (1993)

by J Cortadella, M Kishinevsky, B Grundmann