Keyword:Functional Verification

Publications
Solving Verification Challenges for Complex Devices with a Limited Number of Ports Using Debugports Shyam Sharma and Shravan Soppi EasyChair Preprint 15037
Functional Verification Using C Model: DPI-C VS Static Value Tables Djordje Velickovic and Katarina Bozinovic EasyChair Preprint 14908
Improved Performance of Constraints Milos Pericic EasyChair Preprint 14821
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