Synthesis and simulation of digital systems containing interacting hardware and software components
- 2 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- System-level synthesis using re-programmable componentsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Rapid-prototyping of hardware and software in a unified frameworkPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Sizing synchronization queuesPublished by Association for Computing Machinery (ACM) ,1991
- Synthesis of ASICs with Hercules and HebePublished by Springer Nature ,1991
- Synthesis of Self-Timed CircuitsPublished by Springer Nature ,1991
- Algorithmic and Register-Transfer Level Synthesis: The System Architect’s WorkbenchPublished by Springer Nature ,1990
- Synthesizing circuits from behavioural descriptionsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1989
- Concepts and Notations for Concurrent ProgrammingACM Computing Surveys, 1983
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975
- Ambiguity in limited entry decision tablesCommunications of the ACM, 1968