Co-simulation: State of the art

C Gomes, C Thule, D Broman, PG Larsen… - arXiv preprint arXiv …, 2017 - arxiv.org
It is essential to find new ways of enabling experts in different disciplines to collaborate more
efficient in the development of ever more complex systems, under increasing market …

Hardware/software co-design

G De Michell, RK Gupta - Proceedings of the IEEE, 1997 - ieeexplore.ieee.org
Most electronic systems, whether self contained or embedded, have a predominant digital
component consisting of a hardware platform which executes software application …

Design of embedded systems: Formal models, validation, and synthesis

S Edwards, L Lavagno, EA Lee… - Proceedings of the …, 1997 - ieeexplore.ieee.org
This paper addresses the design of reactive real-time embedded systems. Such systems are
often heterogeneous in implementation technologies and design styles, for example by …

[图书][B] Electronic design automation: synthesis, verification, and test

LT Wang, YW Chang, KTT Cheng - 2009 - books.google.com
This book provides broad and comprehensive coverage of the entire EDA flow. EDA/VLSI
practitioners and researchers in need of fluency in an" adjacent" field will find this an …

[图书][B] SpecC: Specification language and methodology

DD Gajski, J Zhu, R Dömer, A Gerstlauer, S Zhao - 2012 - books.google.com
For the near future, the recent predictions and roadmaps of silicon semiconductor
technology all agree that the number of transistors on a chip will keep growing exponentially …

Hardware-software cosynthesis for microcontrollers

R Ernst, J Henkel, T Benner - IEEE Design & Test of computers, 1993 - ieeexplore.ieee.org
The authors present a software-oriented approach to hardware-software partitioning which
avoids restrictions on the software semantics as well as an iterative partitioning process …

An algorithm for hardware/software partitioning using mixed integer linear programming

R Niemann, P Marwedel - Design Automation for Embedded Systems, 1997 - Springer
One of the key problems in hardware/software codesign is hardware/software partitioning.
This paper describes a new approach to hardware/software partitioning using integer …

[图书][B] Readings in hardware/software co-design

G De Micheli, R Ernst, W Wolf - 2002 - books.google.com
Embedded system designers are constantly looking for new tools and techniques to help
satisfy the exploding demand for consumer information appliances and specialized …

[图书][B] Co-synthesis of hardware and software for digital embedded systems

RK Gupta - 2012 - books.google.com
Co-Synthesis of Hardware and Software for Digital Embedded Systems, with a Foreword
written by Giovanni De Micheli, presents techniques that are useful in building complex …

LYCOS: The Lyngby co-synthesis system

J Madsen, J Grode, PV Knudsen, ME Petersen… - Design Automation for …, 1997 - Springer
This paper describes the LYCOS system, an experimental co-synthesis environment. We
present the motivation and philosophy of LYCOS and after an overview of the entire system …