Design and use of a system-level specification and verification methodology
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
Functional verification methodology for the PowerPC 604 microprocessor
DAC '96 Proceedings of the 33rd annual Design Automation Conference
Functional verification methodology of Chameleon processor
DAC '96 Proceedings of the 33rd annual Design Automation Conference
Software timing analysis using HW/SW cosimulation and instruction set simulator
Proceedings of the 6th international workshop on Hardware/software codesign
Hardware/software co-design of an ATM network interface card: a case study
Proceedings of the 6th international workshop on Hardware/software codesign
A study in coverage-driven test generation
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Performance analysis and optimization of latency insensitive systems
Proceedings of the 37th Annual Design Automation Conference
Functional abstraction driven design space exploration of heterogeneous programmable architectures
Proceedings of the 14th international symposium on Systems synthesis
Synthesis Experiments and Performance Metrics for Evaluating the Quality of IP Blocks and Megacells
ISQED '00 Proceedings of the 1st International Symposium on Quality of Electronic Design
An SoC design methodology using FPGAs and embedded microprocessors
Proceedings of the 41st annual Design Automation Conference
Extending component-based design with hardware components
Science of Computer Programming - Special issue on new software composition concepts
Generation of embedded hardware/software from systemC
EURASIP Journal on Embedded Systems
| Hi-index | 0.00 |