Keywords: design automation, logic synthesis, binary decision diagrams

Start Date: 1 December 94 / Duration: 36 months

[ participants / contact]

Objectivies and Approach

This work is related to the ESPRIT-BRA LINK project and is concerned with the logic synthesis field of design automation. Classical approaches to logic synthesis work well for libraries of regular size containing standard cells. However, important new technologies, such as field programmable gate arrays (FPGA), are programmable, not adequately represented by standard gate arrays and require new methods for incorporating in the automatic design process. In this project, binary decision diagrams (BDDs) are used to overcome the limitations of classical approaches, and are applied to the system to be designed as well to the management of the cell library.

Progress and Results

Research is being conducted and a PhD thesis on the development of new algorithms for low power mapping on silicon is being supervised. The development of the LAND package to manipulate BDDs and boolean networks is being carried out. New matching algorithms, new algorithms for FPGA synthesis have been developed. The UFRGS is participating in the PROTEM project on hw/sw codesign, and the results are being made available to the KIT partners.

Information Dissemination Activities and/or Exploitation

The UFRGS participated in training on CAD tools provided at COMPASS. The UCL and the UFRGS participated in the first Brazilian workshop on hardware/software codesign, at Recife. The three partners participated in the EDAC'95 conference, and the UCL presented its software results at the ED&TC'96 conference. All three partners presented progress reports and results of their cooperation at the IX SBCCI, Recife, from 24-26 March 96. The UCL and COMPASS will attend the 97 SBMicro conference in Brazil, where the final results of the cooperation will be presented.


UCL - Laboratoire de Microélectronique
Place du Levant, 3
B-1348 Louvain-la-Neuve, B

EU Partners

UCL - Laboratoire de Microélectronique, B
Compass Design Automation, Sofia Antipolis, F

Non-EU Partners

Instituto de Informatica - UFRGS, BRZ


Prof. Anne-Marie Trullemans Anckaert
Tel: +32 10 47 25 65 (Secr: 47 25 40)
Fax: +32 10 47 86 67
E-mail: atrullemans@dice.ucl.ac.be

INCO synopses home page INCO cooperation index INCO keyword index
INCO acronym index INCO number index INCO Working Groups index
synopses home page all keywords index all acronyms index all numbers index

LLSYNTH - KIT144, May 1997

please address enquiries to the ESPRIT Information Desk

html version of synopsis by Nick Cook