High-level synthesis and codesign methods: an application to a videophone codec
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
Industrial experience using rule-driven retargetable code generation for multimedia applications
ISSS '95 Proceedings of the 8th international symposium on System synthesis
DAC '96 Proceedings of the 33rd annual Design Automation Conference
Combined control flow dominated and data flow dominated high-level synthesis
DAC '96 Proceedings of the 33rd annual Design Automation Conference
Code Generation for Embedded Processors
Code Generation for Embedded Processors
A unified model for co-simulation and co-synthesis of mixed hardware/software systems
EDTC '95 Proceedings of the 1995 European conference on Design and Test
RSP '96 Proceedings of the 7th IEEE International Workshop on Rapid System Prototyping (RSP '96)
Composite signal flow: a computational model combining events, sampled streams, and vectors
DATE '00 Proceedings of the conference on Design, automation and test in Europe
The performance and energy consumption of three embedded real-time operating systems
CASES '01 Proceedings of the 2001 international conference on Compilers, architecture, and synthesis for embedded systems
Modeling of mixed control and dataflow system in MASCOT
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
A Flexible DSP Core for Embedded Systems
IEEE Design & Test
The Performance and Energy Consumption of Embedded Real-Time Operating Systems
IEEE Transactions on Computers
Native ISS-SystemC Integration for the Co-Simulation of Multi-Processor SoC
Proceedings of the conference on Design, automation and test in Europe - Volume 1
A timing-accurate HW/SW co-simulation of an ISS with SystemC
Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Virtual Hardware Prototyping through Timed Hardware-Software Co-Simulation
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
ASP-DAC '06 Proceedings of the 2006 Asia and South Pacific Design Automation Conference
ISS-centric modular HW/SW co-simulation
GLSVLSI '06 Proceedings of the 16th ACM Great Lakes symposium on VLSI
Dynamic and formal verification of embedded systems: a comparative survey
International Journal of Parallel Programming
A cosimulation methodology for HW/SW validation and performance estimation
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Hardware design and simulation for verification
SFM'06 Proceedings of the 6th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems
| Hi-index | 0.00 |
Complex consumer products with multiple functions on a single chip demand new design and verification methods for interfunctioning hardware and software components. The authors' new techniques address this need