Roberto Guizzetti

	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

Coauthor Index

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