![]() | ![]() |
| 2008 | ||
|---|---|---|
| 2 | Pascal Urard, Asma Maalej, Roberto Guizzetti, Nitin Chawla: Leveraging sequential equivalence checking to enable system-level to RTL flows. DAC 2008: 816-821 | |
| 1 | Rosilde Corvino, Stéphane Mancini, Roberto Guizzetti: Automatic generation of a parallel tile processing unit for algorithms with non-affine array references. IFMT 2008: 11 | |
| 1 | Nitin Chawla | [2] |
| 2 | Rosilde Corvino | [1] |
| 3 | Asma Maalej | [2] |
| 4 | Stéphane Mancini | [1] |
| 5 | Pascal Urard | [2] |
Colors in the list of coauthors
Last update Thu May 31 18:55:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page