2008 | ||
---|---|---|
2 | EE | Pascal Urard, Asma Maalej, Roberto Guizzetti, Nitin Chawla: Leveraging sequential equivalence checking to enable system-level to RTL flows. DAC 2008: 816-821 |
1 | EE | Rosilde Corvino, Stephane 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 | Stephane Mancini | [1] |
5 | Pascal Urard | [2] |