HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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 1429
Scalable Verification of Designs with Multiple Properties
Rohit Dureja and Kristin Yvonne Rozier
EasyChair Preprint 1411
From One To Many: Checking A Set Of Models
Rohit Dureja and Kristin Yvonne Rozier
EasyChair Preprint 1402

Keyphrases

Clustering, design space, Design Space Exploration, formal verification2, Functional Verification, Grouping, incremental verification, Localization, model checking3, model sets, multi-property, Multiple Properties, partitioning.

Copyright © 2012-2025 easychair.org. All rights reserved.