A system-design methodology: executable-specification refinement
- 17 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 13 references indexed in Scilit:
- Specification partitioning for system designPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Fast timing analysis for hardware-software co-synthesisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Synthesis of system-level bus interfacesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Rapid-prototyping of hardware and software in a unified frameworkPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Hardware-software cosynthesis for microcontrollersIEEE Design & Test of Computers, 1993
- Hardware-software cosynthesis for digital systemsIEEE Design & Test of Computers, 1993
- A model and methodology for hardware-software codesignIEEE Design & Test of Computers, 1993
- System specification with the SpecCharts languageIEEE Design & Test of Computers, 1992
- Architectural partitioning for system level synthesis of integrated circuitsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1991
- Synthesis of application-specific multiprocessor architecturesPublished by Association for Computing Machinery (ACM) ,1991