Improvements for constraint solving in the systemc verification library
Proceedings of the 17th ACM Great Lakes symposium on VLSI
Kato: A Program Slicing Tool for Declarative Specifications
ICSE '07 Proceedings of the 29th international conference on Software Engineering
A Survey of Hybrid Techniques for Functional Verification
IEEE Design & Test
Constraint Prioritization for Efficient Analysis of Declarative Models
FM '08 Proceedings of the 15th international symposium on Formal Methods
Review: Formal verification of analog and mixed signal designs: A survey
Microelectronics Journal
Proceedings of the 2009 Asia and South Pacific Design Automation Conference
Shortening the verification cycle with synthesizable abstract models
Proceedings of the 46th Annual Design Automation Conference
PSL Assertion Checking Using Temporally Extended High-Level Decision Diagrams
Journal of Electronic Testing: Theory and Applications
Defining and Providing Coverage for Assertion-Based Dynamic Verification
Journal of Electronic Testing: Theory and Applications
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
| Hi-index | 0.00 |