Efficient Coverage-Driven Stimulus Generation Using...

ACM Transactions on Design Automation of Electronic Systems 2014 / 11 Vol. 20; Iss. 1

Efficient Coverage-Driven Stimulus Generation Using Simultaneous SAT Solving, with Application to SystemVerilog

Cheng, An-Che, Yen, Chia-Chih (Jack), Val, Celina G., Bayless, Sam, Hu, Alan J., Jiang, Iris Hui-Ru, Jou, Jing-Yang
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
20
Language:
english
Journal:
ACM Transactions on Design Automation of Electronic Systems
DOI:
10.1145/2651400
Date:
November, 2014
File:
PDF, 3.31 MB
english, 2014
Conversion to is in progress
Conversion to is failed