Maintaining consistency between systemC and RTL system designs
Proceedings of the 43rd annual Design Automation Conference
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
Model-Driven Development of Reliable Automotive Services
Applied Assertion-Based Verification: An Industry Perspective
Foundations and Trends in Electronic Design Automation
Shortening the verification cycle with synthesizable abstract models
Proceedings of the 46th Annual Design Automation Conference
Smart-lint: improving the verification flow
HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
A reuse approach for FPGA-based SDR waveforms
MILCOM'06 Proceedings of the 2006 IEEE conference on Military communications
Improved device driver reliability through hardware verification reuse
Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems
Abstraction in hardware system design
Communications of the ACM
Abstraction in Hardware System Design
Queue - Data
Facing the challenge of new design features: an effective verification approach
Proceedings of the 48th Design Automation Conference
ESL Design and Verification: A Prescription for Electronic System Level Methodology
ESL Design and Verification: A Prescription for Electronic System Level Methodology
Deterministic dynamic monitors for linear-time assertions
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Model-driven automation for simulation-based functional verification
ACM Transactions on Design Automation of Electronic Systems (TODAES) - Special section on verification challenges in the concurrent world
An aspect-oriented, model-driven approach to functional hardware verification
Journal of Systems Architecture: the EUROMICRO Journal
Testbenches for advanced TLM verification
Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
| Hi-index | 0.02 |