Improving functional verification of embedded systems using hierarchical composition and set theory
Proceedings of the 2009 ACM symposium on Applied Computing
A mixed-level virtual prototyping environment for SystemC-based design methodology
Microelectronics Journal
Using coverage to deploy formal verification in a simulation world
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Transaction level modeling in practice: motivation and introduction
Proceedings of the International Conference on Computer-Aided Design
ESL Design and Verification: A Prescription for Electronic System Level Methodology
ESL Design and Verification: A Prescription for Electronic System Level Methodology
Open systemc simulator with support for power gating design
International Journal of Reconfigurable Computing - Special issue on Selected Papers from the Symposium on Integrated Circuits and Systems Design (SBCCI 2011)
Hi-index | 0.00 |