Synthesis of TTL Specification: A Case Study

The problem of designing and specifying complex systems for which constraints of time and synchronization - with the outside world or other systems - have to be respected is a highly debated topic. It is generally dealt with by imposing precise design methods which make it possible to verify that the results obtained meet the requirements laid down when the system is defined (CAD methods and software engineering). The paper presents an example of application of a codesign methodology to an embedded control system. We point out several aspects of the methodology and related problems by using an example of development of an embedded control system up to implementation of modules. The paper presents all the phases of the synthesis of the specified examples, as both hardware and software modules and discusses how this synthesis approach operates inside the proposed codesign methodology