Keyword:design space

Publications
Scalable Verification of Designs with Multiple Properties Rohit Dureja and Kristin Yvonne Rozier EasyChair Preprint 1411