Asma Maalej

	2008
1		Pascal Urard, Asma Maalej, Roberto Guizzetti, Nitin Chawla: Leveraging sequential equivalence checking to enable system-level to RTL flows. DAC 2008: 816-821

Coauthor Index

1	Nitin Chawla	[1]
2	Roberto Guizzetti	[1]
3	Pascal Urard	[1]