Statecharts: A visual formalism for complex systems
Science of Computer Programming
Parallel program design: a foundation
Parallel program design: a foundation
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
Improved event-scanning mechanisms for discrete event simulation
Communications of the ACM
Area-Efficient VLSI Computation
Area-Efficient VLSI Computation
A Formal Approach to Hardware Design
A Formal Approach to Hardware Design
A declarative approach to incremental custom computing
FCCM '95 Proceedings of the IEEE Symposium on FPGA's for Custom Computing Machines
Hi-index | 0.00 |
This paper identifies a number of issues that we believe are important for hardware/software codesign. The issues are illustrated by a small comprehensible example: a priority queue. Based on simulations of a real application, we suggest a combined hardware/software realization of the priority queue.