Work Area: Algorithms for Design Methodologies for Complex Circuits and Digital Optical Systems
Keywords logic synthesis, controller synthesis, architectural synthesis
Start Date: 1 September 92 / Duration: 36 months / Status: running
[ participants / contact ]
Abstract This project addresses logic synthesis, focusing on new models as well as a better understanding of the connection to various technological targets, controller synthesis coping with high complexity and using block generators, and architectural design including the use of library blocks and parameterised generators.
This project aims to make significant advances in logic synthesis by exploiting new models such as binary decision diagrams, and to establish a better link with practical issues such as wiring problems and connection to layout generators. It also aims to create a better link with architectural synthesis. For this purpose the logic synthesis methods proposed have to be very robust with respect to complexity and to be able to handle more efficiently the existence of generators and library blocks. Moreover, any restricted technology target, such as a standard cell, is avoided, and new devices, especially CPLDs and FPGAs, widely addressed.
The proposed methods concern three areas:
For logic synthesis, the partners appreciate that the state-of-the-art is changing very rapidly due to the extensive use of new representations for Boolean functions, namely the binary decision diagrams. This gives a good chance to new synthesis tools which may provide a significant gain both in results (area/performance) and in running time/memory space. Several partners (INPG, COMPASS, UCL) joined their efforts and significant progress has made in binary decision diagrams construction, input order selection, and in the different use of these representations for synthesis on various targets. Specific mappers on FPGA targets led to immediate technology transfers (INPG) and improvements on standard cells synthesis were pointed out (COMPASS).
For controller synthesis, a dedicated synthesis tool for ultra large Moore controllers described in VHDL and using ROM generators are already available and such a tool is unique. Extension to the use of communicating finite state machines or hierarchical finite state machines is under good progress and both partners (INPG, IMEC) should bring a significant contribution to this strategic topic.
For architectural synthesis, the partners focus on the impact of parametrised generators, on data path synthesisers, on automatic synthesis tools from VHDL (Dortmund, Eindhoven). One of the partners (INPG) is addressing successfully the package partitioning problem and this is of considerable interest.
This project aims to improve the theoretical state-of-the-art of logic synthesis and brings some new highlights to practical issues such as wiring and timing aspects. An important technology transfer effort towards industry is being undertaken by several partners and successful products have emerged. Companies directly involved in the project will benefit from the results, and most academic members are directly engaged in transfers towards industry (IMEC, INPG, Karlsruhe). As an example a start up marketing the results of this projects sells up to 2000 licenses of a synthesis tool in 1992/93.
The dissemination of our results has been done through publications, meetings and workshops.
Publications identified in 1993
INPG/CSI - F
46, Avenue Felix Viallet
F - 38031 Grenoble Cedex
IMEC vzw - B
Université Catholique de Louvain - B
Universität Dortmund - D
Universität Karlsruhe - D
Compass Design Automation - F
Dassault Electronique - F
Technische Universiteit Eindhoven - NL
Prof. G. Saucier
tel +33/76 574687
fax +33/76 503421
LINK - 6855, August 1994
please address enquiries to the ESPRIT Information Desk
html version of synopsis by Nick Cook