Keywords: design automation, logic synthesis, binary decision diagrams
Start Date: 1 December 94 / Duration: 36 months
[ participants / contact]
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.
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.
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
UCL - Laboratoire de Microélectronique, B
Compass Design Automation, Sofia Antipolis, F
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
LLSYNTH - KIT144, May 1997
please address enquiries to the ESPRIT Information Desk
html version of synopsis by Nick Cook