Manu Chopra

	2007
1		Praveen Tiwari, Raj S. Mitra, Manu Chopra, Alok Jain: Tutorial T4B: Formal Assertion-Based Verification in Industrial Setting. VLSI Design 2007: 7

Coauthor Index

1	Alok Jain	[1]
2	Raj S. Mitra	[1]
3	Praveen Tiwari	[1]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page