Dinos Moundanos

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2000
c7		Jawahar Jain, K. Mohanram, Dinos Moundanos, Ingo Wegener, Yuan Lu: Analysis of composition complexity and how to obtain smaller canonical graphs. DAC 2000: 681-686
	1999
j2		Dinos Moundanos, Jacob A. Abraham: On Design Validation Using Verification Technology. J. Electronic Testing 15(1-2): 173-189 (1999)
c6		Dinos Moundanos, Jacob A. Abraham: Formal Checking of Properties in Complex Systems Using Abstractions. Great Lakes Symposium on VLSI 1999: 280-283
	1998
j1		Dinos Moundanos, Jacob A. Abraham, Yatin Vasant Hoskote: Abstraction Techniques for Validation Coverage Analysis and Test Generation. IEEE Trans. Computers 47(1): 2-14 (1998)
c5		Dinos Moundanos, Jacob A. Abraham: Using Verification Technology for Validation Coverage Analysis and Test Generation. VTS 1998: 254-259
	1996
c4		Prakash Arunachalam, Craig M. Chase, Dinos Moundanos: Distributed Binary Decision Diagrams for Verification of Large Circuit. ICCD 1996: 365-370
c3		Dinos Moundanos, Jacob A. Abraham, Yatin Vasant Hoskote: A Unified Framework for Design Validation and Manufacturing Test. ITC 1996: 875-884
	1995
c2		Yatin Vasant Hoskote, Dinos Moundanos, Jacob A. Abraham: Automatic extraction of the control flow machine and application to evaluating coverage of verification vectors. ICCD 1995: 532-537
c1		Jawahar Jain, Dinos Moundanos, James R. Bitner, Jacob A. Abraham, Donald S. Fussell, Don E. Ross: Efficient variable ordering and partial representation algorithm. VLSI Design 1995: 81-86

Coauthor Index

Last update Fri May 24 13:36:41 2013 CET by the DBLP Team —

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