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, Stephane 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	Stephane Mancini	[1]
5	Pascal Urard	[2]

Colors in the list of coauthors