Dinos Moundanos

Publication Activity (10 Years)

Years Active: 1994-2000
Publications (10 Years): 0

Publications

Jawahar Jain, K. Mohanram, Dinos Moundanos, Ingo Wegener, Yuan Lu
Analysis of composition complexity and how to obtain smaller canonical graphs. DAC (2000)
Dinos Moundanos, Jacob A. Abraham
Formal Checking of Properties in Complex Systems Using Abstractions. Great Lakes Symposium on VLSI (1999)
Dinos Moundanos, Jacob A. Abraham
On Design Validation Using Verification Technology. J. Electron. Test. 15 (1-2) (1999)
Dinos Moundanos, Jacob A. Abraham, Yatin Vasant Hoskote
Abstraction Techniques for Validation Coverage Analysis and Test Generation. IEEE Trans. Computers 47 (1) (1998)
Dinos Moundanos, Jacob A. Abraham
Using Verification Technology for Validation Coverage Analysis and Test Generation. VTS (1998)
Dinos Moundanos, Jacob A. Abraham, Yatin Vasant Hoskote
A Unified Framework for Design Validation and Manufacturing Test. ITC (1996)
Prakash Arunachalam, Craig M. Chase, Dinos Moundanos
Distributed Binary Decision Diagrams for Verification of Large Circuit. ICCD (1996)
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)
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)
Jawahar Jain, James R. Bitner, Dinos Moundanos, Jacob A. Abraham, Donald S. Fussell
A new scheme to compute variable orders for binary decision diagrams. Great Lakes Symposium on VLSI (1994)