Computer architecture: a quantitative approach
Computer architecture: a quantitative approach
Synthesis and simulation of digital systems containing interacting hardware and software components
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Co-synthesis of hardware and software for digital embedded systems
Co-synthesis of hardware and software for digital embedded systems
Design of a separable transition-diagram compiler
Communications of the ACM
High-Level VLSI Synthesis
IEEE Design & Test
Hardware-Software Cosynthesis for Digital Systems
IEEE Design & Test
Algorithm selection: a quantitative computation-intensive optimization approach
ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Synthesis of software programs for embedded control application
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Cosimulation of real-time control systems
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
Analysis of operation delay and execution rate constraints for embedded systems
DAC '96 Proceedings of the 33rd annual Design Automation Conference
Synthesis from mixed specifications
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
MILP based task mapping for heterogeneous multiprocessor systems
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Memory-CPU size optimization for embedded system designs
DAC '97 Proceedings of the 34th annual Design Automation Conference
A codesign experiment in acoustic echo cancellation: GMDFα
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Don't care-based BDD minimization for embedded software
DAC '98 Proceedings of the 35th annual Design Automation Conference
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
Communication and interface synthesis on a rapid protoyping hardware/software codesign system
Proceedings of the 11th international symposium on System synthesis
Metrics and Criteria for Quality Assessment of Testable Hw/Sw Systems Architectures
Journal of Electronic Testing: Theory and Applications - Special issue on the IEEE European Test Workshop
Hardware/software synthesis of formal specifications in codesign of embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A Codesign Approach to Real-time High Precision Control
Real-Time Systems
Design of embedded systems: formal models, validation, and synthesis
Readings in hardware/software co-design
Hardware-software codesign of embedded systems
Readings in hardware/software co-design
Protocol selection and interface generation for HW-SW codesign
Readings in hardware/software co-design
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Operation Serializability for Embedded Systems
EDTC '96 Proceedings of the 1996 European conference on Design and Test
Design of an Optimal Loosely Coupled Heterogeneous Multiprocessor System
EDTC '96 Proceedings of the 1996 European conference on Design and Test
Two-level Partitioning of Image Processing Algorithms for the Parallel Map-oriented Machine
CODES '96 Proceedings of the 4th International Workshop on Hardware/Software Co-Design
Performance Analysis in CoDe-X Partitioning for Structural Programmable Accelerators
CODES '97 Proceedings of the 5th International Workshop on Hardware/Software Co-Design
Software Implementation Techniques for Hw/Sw Embedded Systems
CODES '97 Proceedings of the 5th International Workshop on Hardware/Software Co-Design
TTL: a modular language for hardware/software systems design
Journal of Computer and System Sciences
HW/SW specification using OOM techniques
RSP '96 Proceedings of the 7th IEEE International Workshop on Rapid System Prototyping (RSP '96)
CoDe-C: A Novel Two-Level Hardware/Software Co-Design Framework
VLSID '96 Proceedings of the 9th International Conference on VLSI Design: VLSI in Mobile Communication
Hardware/Software Co-Design for Data-Driven Xputer-based Accelerators
VLSID '97 Proceedings of the Tenth International Conference on VLSI Design: VLSI in Multimedia Applications
A Codesign Experiment in Acoustic Echo Cancellation: GMDFa
ISSS '96 Proceedings of the 9th international symposium on System synthesis
Towards a multi-formalism framework for architectural synthesis: the ASAR project
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
Redesigning hardware-software systems
CODES '94 Proceedings of the 3rd international workshop on Hardware/software co-design
A CoDesign experience with the MCSE methodology
CODES '94 Proceedings of the 3rd international workshop on Hardware/software co-design
Journal of Systems and Software
A real-time hardware-software codesign technique of network protocols to provide QoS
Proceedings of the 2009 International Conference on Hybrid Information Technology
An embedded CDMA-receiver A design example
Integration, the VLSI Journal
Integrating real-time inter-task communication channels into hardware-software codesign
Microprocessors & Microsystems
Towards an application of model-based codesign: an autonomous, intelligent cruise controller
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Hi-index | 4.10 |
Recent advances in the design and synthesis of integrated circuits have prompted system architects to investigate computer aided design methods for systems that contain both application-specific and predesigned reprogrammable components. For the most part, we can apply high level synthesis techniques to synthesis of systems containing processors by treating the latter as a generalized resource. However, the problem is more complex, since the software on the processor implements system functionality in an instruction-driven manner with a statically allocated memory space, whereas ASICs operate as data driven reactive elements. Due to these differences in computational models and primitive operations in hardware and software, a new formulation of the problem of cosynthesis is needed. The authors present their cosynthesis approach. They specify system behavior using HardwareC, a hardware description language (HDL) that has a C-like syntax and supports timing and resource constraints. It also supports specification of unbounded and unknown delay operations that can arise from data-dependent decisions and external synchronization operations. The particular choice of a HDL to specify system functionality is immaterial for the cosynthesis formulation here, and other HDLs such as Verilog could be used.