Specification and design of embedded hardware-software systems
Embedded-system specification and design consists of describing a system's desired
functionality and mapping that functionality for implementation by a set of system …
functionality and mapping that functionality for implementation by a set of system …
Communication synthesis for distributed embedded systems
TY Yen, W Wolf - Proceedings of IEEE International Conference …, 1995 - ieeexplore.ieee.org
Communication synthesis is an essential step in hardware-software co-synthesis: many
embedded systems use custom communication topologies and the communication links are …
embedded systems use custom communication topologies and the communication links are …
The chinook hardware/software co-synthesis system
PH Chou, RB Ortega, G Borriello - … of the 8th international symposium on …, 1995 - dl.acm.org
Designers of embedded systems are facing ever tighter constraints on design time, but
computer-aided design tools for embedded systems have not kept pace with these trends …
computer-aided design tools for embedded systems have not kept pace with these trends …
Interface co-synthesis techniques for embedded systems
P Chou, RB Ortega, G Borriello - Proceedings of IEEE …, 1995 - ieeexplore.ieee.org
A key aspect of the synthesis of embedded systems is the automatic integration of system
components. This entails the derivation of both the hardware and software interfaces that will …
components. This entails the derivation of both the hardware and software interfaces that will …
Clustering for improved system-level functional partitioning
Partitioning of system functionality for implementation among multiple system components,
such as among hardware and software components, is becoming an increasingly important …
such as among hardware and software components, is becoming an increasingly important …
Synthesis steps and design models for codesign
TB Ismail, AA Jerraya - Computer, 1995 - ieeexplore.ieee.org
Codesign is a joint development of hardware and software components to obtain a complete
system design. The fields of specification, design, and synthesis of mixed hardware/software …
system design. The fields of specification, design, and synthesis of mixed hardware/software …
Recent-secure authentication: Enforcing revocation in distributed systems
SG Stubblebine - … 1995 IEEE Symposium on Security and …, 1995 - ieeexplore.ieee.org
A general method is described for formally specifying and reasoning about distributed
systems with any desired degree of immediacy for revoking authentication. To effect …
systems with any desired degree of immediacy for revoking authentication. To effect …
Sensitivity-driven co-synthesis of distributed embedded systems
TY Yen, W Wolf - Proceedings of the 8th international symposium on …, 1995 - dl.acm.org
Describes a new, sensitivity-driven algorithm for the co-synthesis of real-time distributed
embedded systems. Many embedded computing systems are distributed systems …
embedded systems. Many embedded computing systems are distributed systems …
Incremental hardware estimation during hardware/software functional partitioning
To aid in the functional partitioning of a system into interacting hardware and software
components, fast yet accurate estimations of hardware size are necessary. We introduce a …
components, fast yet accurate estimations of hardware size are necessary. We introduce a …
Closeness metrics for system-level functional partitioning
An important system design task is the partitioning of system functionality for implementation
among multiple system components, including partitions among hardware and software …
among multiple system components, including partitions among hardware and software …