Auxiliary state machines + context-triggered properties in verification
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Design intent coverage revisited
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A Dynamic Assertion-Based Verification Platform for Validation of UML Designs
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Applied Assertion-Based Verification: An Industry Perspective
Foundations and Trends in Electronic Design Automation
A dynamic assertion-based verification platform for validation of UML designs
ACM SIGSOFT Software Engineering Notes
Synchronizing AMS Assertions with AMS Simulation: From Theory to Practice
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Cohesive Coverage Management: Simulation Meets Formal Methods
Journal of Electronic Testing: Theory and Applications
Model checking of global power management strategies in software with temporal logic properties
Proceedings of the 6th India Software Engineering Conference
Test compaction techniques for assertion-based test generation
ACM Transactions on Design Automation of Electronic Systems (TODAES)
| Hi-index | 0.00 |