Hardware-Software Codesign

Synthesis of TTL specification: A case study

Formal Codesign Methodology with Multistep Partitioning

A codesign methodology is proposed which is suitable for control-dominated systems but can also be extended to more complex ones. Its main purpose is to optimize the trade-off …

TTL simulator

An approach to the synthesis of HW and SW in codesign

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 …

An algorithm for direct synthesis of formal specifications

In the last few years researchers have attempted to adopt a unified approach to the design of mixed hardware/software systems by using codesign techniques. In all the …

TTL: A LOTOS extension for system description

Decomposition and partitioning in Hardware/Software codesign