Author:Rohit Dureja

Publications
Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties Rohit Dureja, Jason Baumgartner, Alexander Ivrii, Robert Kanzelman and Kristin Yvonne Rozier EasyChair Preprint no. 1429
Scalable Verification of Designs with Multiple Properties Rohit Dureja and Kristin Yvonne Rozier EasyChair Preprint no. 1411
From One To Many: Checking A Set Of Models Rohit Dureja and Kristin Yvonne Rozier EasyChair Preprint no. 1402