|
| Description | Papers | Related topics | Researchers | Contact information |
The CAD group is involved in this area since more than 10 years, and since 1990 we adopted Genetic Algorithms as a possible approach to several problems, where exact algorithms are not viable or not enough effective. Our main interest is in layout, testing, and design verification.
In the first sector we devised and implemented an algorithm for hierarchical layout optimization for area minimization, which is deeply described on a paper appeared on the IEEE Transactions on CAD, August 1996.
In the second sector our main result is an Automatic Test Pattern Generator for digital sequential circuits, named GATTO, working at the gate-level, which is described in another paper of the same issue of IEEE Transactions on CAD. We also made several works on ancillary problems in the test area, and are now focusing on GAs for automatic generation of the hardware for Built-In Self-Test (BIST) using Cellular Automata, as well as on Automatic Test Pattern Generators at the RT-level.
In the area of design verification (for both correctness and performance checking) we recently devised approximated algorithms based on GAs, which proved to compare well with other algorithms (when available) and have a much wider applicability.
|
| Matteo Sonza Reorda |
| Politecnico di Torino Dipartimento di Automatica e Informatica Corso Duca degli Abruzzi 24 I-10129 Torino ITALY |
| Tel: +39-011564.7055 Fax: +39-011564.7099 |
| E-mail: matteo . sonzareorda @ polito . it [mangled to prevent spamming] Personal web page: http://www.cad.polito.it/staff/sonza/ Politecnico info page: http://www.swas.polito.it/ |
| Description | Papers | Related topics | Researchers | Contact information |
|