Sequential circuit verification using symbolic model checking
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Representing circuits more efficiently in symbolic model checking
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
Verification of VHDL designs using VAL
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
Hardware Design and Simulation in Val-VHDL
Hardware Design and Simulation in Val-VHDL
Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams
CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification
Comparative design validation based on event pattern mappings
DAC '93 Proceedings of the 30th international Design Automation Conference
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
An RTL Abstraction Technique for Processor MicroarchitectureValidation and Test Generation
Journal of Electronic Testing: Theory and Applications - Special issue on microprocessor test and verification
An Event-Based Architecture Definition Language
IEEE Transactions on Software Engineering
Run-time consistency checking in discrete simulation models
EDTC '95 Proceedings of the 1995 European conference on Design and Test
Complex events and actions to control cyber-physical systems
Proceedings of the 5th ACM international conference on Distributed event-based system
| Hi-index | 0.01 |