Statemate: a working environment for the development of complex reactive systems
ICSE '88 Proceedings of the 10th international conference on Software engineering
Real-time system design
Calculating the maximum, execution time of real-time programs
Real-Time Systems
Experiments with a Program Timing Tool Based on Source-Level Timing Schema
Computer - Special issue on real-time systems
An engineering environment for hardware/software co-simulation
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
SDL with applications from protocol specification
SDL with applications from protocol specification
Synthesis of application-specific multiprocessor architectures
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
CHOP: A constraint-driven system-level partitioner
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
High-level synthesis: introduction to chip and system design
High-level synthesis: introduction to chip and system design
Specification partitioning for system design
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Logic synthesis
Specification and design of embedded systems
Specification and design of embedded systems
IEEE Spectrum
100-hour design cycle: a test case
EURO-DAC '94 Proceedings of the conference on European design automation
A binary-constraint search algorithm for minimizing hardware during hardware/software partitioning
EURO-DAC '94 Proceedings of the conference on European design automation
A method for partitioning UNITY language in hardware and software
EURO-DAC '94 Proceedings of the conference on European design automation
Synthesis of multiple process digital systems
Synthesis of multiple process digital systems
Instruction set definition and instruction selection for ASIPs
ISSS '94 Proceedings of the 7th international symposium on High-level synthesis
Design of system interface modules
ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
Communicating sequential processes
Communications of the ACM
Hardware - Software CO-Design: An Annotated Bibliography
Hardware - Software CO-Design: An Annotated Bibliography
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
Anatomy of a Silicon Compiler
Tools and Techniques for Structured Systems Analysis and Design
Tools and Techniques for Structured Systems Analysis and Design
Synthesis and Optimization of Digital Circuits
Synthesis and Optimization of Digital Circuits
High-Level Synthesis for Real-Time Digital Signal Processing
High-Level Synthesis for Real-Time Digital Signal Processing
A Model and Methodology for Hardware-Software Codesign
IEEE Design & Test
A Hardware-Software Codesign Methodology for DSP Applications
IEEE Design & Test
Hardware-Software Cosynthesis for Digital Systems
IEEE Design & Test
Hardware-Software Cosynthesis for Microcontrollers
IEEE Design & Test
A methodology for control-dominated systems codesign
CODES '94 Proceedings of the 3rd international workshop on Hardware/software co-design
VHDL system-level specification and partitioning in a hardware/software co-synthesis environment
CODES '94 Proceedings of the 3rd international workshop on Hardware/software co-design
The Chinook hardware/software co-synthesis system
ISSS '95 Proceedings of the 8th international symposium on System synthesis
Synthesis of system-level communication by an allocation-based approach
ISSS '95 Proceedings of the 8th international symposium on System synthesis
Partitioning of VLSI circuits and systems
DAC '96 Proceedings of the 33rd annual Design Automation Conference
Exploration of hardware/software design space through a codesign of robot arm controller
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
COMET: a hardware-software codesign methodology
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Embedded system synthesis by timing constraints solving
ISSS '97 Proceedings of the 10th international symposium on System synthesis
Memory-CPU size optimization for embedded system designs
DAC '97 Proceedings of the 34th annual Design Automation Conference
Java as a specification language for hardware-software systems
ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
A codesign experiment in acoustic echo cancellation: GMDFα
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A path analysis based partitioning for time constrained embedded systems
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
Journal of VLSI Signal Processing Systems
Readings in hardware/software co-design
VHDL generation from SDL specifications
Readings in hardware/software co-design
Protocol selection and interface generation for HW-SW codesign
Readings in hardware/software co-design
Co-synthesis and co-simulation of control-dominated embedded systems
Readings in hardware/software co-design
Design for Testability in Hardware-Software Systems
IEEE Design & Test
The ChARM Tool for Tuning Embedded Systems
IEEE Micro
ParTS: A Partitioning Transformation System
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Algorithm and architecture-level design space exploration using hierarchical data flows
ASAP '97 Proceedings of the IEEE International Conference on Application-Specific Systems, Architectures and Processors
A Multi-Level Transformation Approach to HW/SW Codesign: A Case Study
CODES '96 Proceedings of the 4th International Workshop on Hardware/Software Co-Design
Design-For-Debug in Hardware/Software Co-Design
CODES '97 Proceedings of the 5th International Workshop on Hardware/Software Co-Design
RSP '96 Proceedings of the 7th IEEE International Workshop on Rapid System Prototyping (RSP '96)
Simulating hardware, software and electromechanical parts using communicating simulators
RSP '96 Proceedings of the 7th IEEE International Workshop on Rapid System Prototyping (RSP '96)
RSP '97 Proceedings of the 8th International Workshop on Rapid System Prototyping (RSP '97) Shortening the Path from Specification to Prototype
The use of a virtual instruction set for the software synthesis of Hw/Sw embedded systems
ISSS '96 Proceedings of the 9th international symposium on System synthesis
A Codesign Experiment in Acoustic Echo Cancellation: GMDFa
ISSS '96 Proceedings of the 9th international symposium on System synthesis
Hardware/Software Partitioning for Telecommunications Systems
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Fault Models and Test Generation for Hardware-Software Covalidation
IEEE Design & Test
Robotica
UML-based co-design for run-time reconfigurable architectures
Languages for system specification
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Early, Accurate Dependability Analysis of CAN-Based Networked Systems
IEEE Design & Test
A coverage metric for the validation of interacting processes
Proceedings of the conference on Design, automation and test in Europe: Proceedings
An educational environment for designing and performance tuning of embedded systems
WCAE '98 Proceedings of the 1998 workshop on Computer architecture education
Partitioning of Hardware-Software Embedded Systems: A Metrics-based Approach
Integrated Computer-Aided Engineering
Hardware/Software Co-Design Methodology for Design of Embedded Systems
Integrated Computer-Aided Engineering
Embedded system education in Zhejiang University
AIC'07 Proceedings of the 7th Conference on 7th WSEAS International Conference on Applied Informatics and Communications - Volume 7
A system level implementation strategy and partitioning heuristic for LUT-based applications
Computers and Electrical Engineering
SDL/virtual prototype co-design for rapid architectural exploration of a mobile phone platform
SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles
An approach for interface generation in the PISH co-design system
SBCCI'99 Proceedings of the XIIth conference on Integrated circuits and systems design
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
A technical assessment of soc methodologies and requirements for a full-blown methodology
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part II
Implementation of a single chaotic neuron using an embedded system
MICAI'12 Proceedings of the 11th Mexican international conference on Advances in Computational Intelligence - Volume Part II
| Hi-index | 0.00 |
System specification and design consists of describing a system's desired functionality, and of mapping that functionality for implementation on a set of system components, such as processors, ASIC's, memories, and buses. In this article, we describe the key problems of system specification and design, including specification capture, design exploration, hierarchical modeling, software and hardware synthesis, and cosimulation. We highlight existing tools and methods for solving those problems, and we discuss issues that remain to be solved.