Approach to the Synthesis of HW and SW in Codesign

Authors:
Vincenza Carchiolo;Michele Malgeri;Giuseppe Mangioni
Affiliations:
Istituto di Informatica e telecomunicazioni - Universita' di Catania, Viale Andrea Doria, 6 - I95125 Catania (Italy);Istituto di Informatica e telecomunicazioni - Universita' di Catania, Viale Andrea Doria, 6 - I95125 Catania (Italy);Istituto di Informatica e telecomunicazioni - Universita' di Catania, Viale Andrea Doria, 6 - I95125 Catania (Italy)
Venue:
CODES '97 Proceedings of the 5th International Workshop on Hardware/Software Co-Design
Year:
1997

Citing 8
Cited 0

Introduction to the ISO specification language LOTOS

Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Synthesis and simulation of digital systems containing interacting hardware and software components

DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
The Chinook hardware/software co-synthesis system

ISSS '95 Proceedings of the 8th international symposium on System synthesis
Hardware-Software Codesign of Embedded Systems

IEEE Micro
A Software-Hardware Cosynthesis Approach to Digital System Simulation

IEEE Micro
Introduction of Quantitative Relative Time into LOTOS

Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII
HardwareC -- A Language for Hardware Design (Version 2.0)

HardwareC -- A Language for Hardware Design (Version 2.0)
Hardware/software selected cycle solution

CODES '94 Proceedings of the 3rd international workshop on Hardware/software co-design

Quantified Score

Hi-index	0.00

Visualization

Abstract

The main aim of codesign is to be able to design a whole system without excessive preliminary constraints on the mapping or partitioning of the hardware and software parts. At present, given the availability of CAD tools and hardware devices, the sector which seems to offer most prospects of codesign methodology application is that of embedded systems. This paper presents a codesign approach based on the formal technique called TTL. It shows how the synthesis of both the HW and SW modules described by TTL into RTL or C respectively can be performed thanks to a semantic based translation.