Digital System Verification
Subtitle: A Combined Formal Methods and Simulation Framework
Publisher: Morgan & Claypool Publishers
Published: 2010
Language: eng
ISBN-13: 9781608451784
Subjects: Integrated circuits; System design