Thomas Tetzlaff

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2000

2 Venkatram Krishnaswamy, Jeremy Casas, Thomas Tetzlaff: A switch level fault simulation environment. DAC 2000: 780-785

1999

1 Jeremy Casas, Hannah Honghua Yang, Manpreet Khaira, Mandar Joshi, Thomas Tetzlaff, Steve W. Otto, Erik Seligman: Logic Verification of Very Large Circuits Using Shark. VLSI Design 1999: 310-317

	2000
2		Venkatram Krishnaswamy, Jeremy Casas, Thomas Tetzlaff: A switch level fault simulation environment. DAC 2000: 780-785
	1999
1		Jeremy Casas, Hannah Honghua Yang, Manpreet Khaira, Mandar Joshi, Thomas Tetzlaff, Steve W. Otto, Erik Seligman: Logic Verification of Very Large Circuits Using Shark. VLSI Design 1999: 310-317

Coauthor Index

Last update Sun Feb 12 22:50:56 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page

1	Jeremy Casas	[1] [2]
2	Mandar Joshi	[1]
3	Manpreet Khaira	[1]
4	Venkatram Krishnaswamy	[2]
5	Steve W. Otto	[1]
6	Erik Seligman	[1]
7	Hannah Honghua Yang (Honghua Yang)	[1]