Dinos Moundanos

According to our database, Dinos Moundanos authored at least 10 papers between 1994 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2000

Analysis of composition complexity and how to obtain smaller canonical graphs.

Jawahar Jain, K. Mohanram, Dinos Moundanos, Ingo Wegener, Yuan Lu

Proceedings of the 37th Conference on Design Automation, 2000

1999

On Design Validation Using Verification Technology.

Dinos Moundanos, Jacob A. Abraham

J. Electron. Test., 1999

Formal Checking of Properties in Complex Systems Using Abstractions.

Dinos Moundanos, Jacob A. Abraham

Proceedings of the 9th Great Lakes Symposium on VLSI (GLS-VLSI '99), 1999

1998

Abstraction Techniques for Validation Coverage Analysis and Test Generation.

Dinos Moundanos, Jacob A. Abraham, Yatin Vasant Hoskote

IEEE Trans. Computers, 1998

Using Verification Technology for Validation Coverage Analysis and Test Generation.

Dinos Moundanos, Jacob A. Abraham

Proceedings of the 16th IEEE VLSI Test Symposium (VTS '98), 28 April, 1998

1996

A Unified Framework for Design Validation and Manufacturing Test.

Dinos Moundanos, Jacob A. Abraham, Yatin Vasant Hoskote

Proceedings of the Proceedings IEEE International Test Conference 1996, 1996

Distributed Binary Decision Diagrams for Verification of Large Circuit.

Prakash Arunachalam, Craig M. Chase, Dinos Moundanos

Proceedings of the 1996 International Conference on Computer Design (ICCD '96), 1996

1995

Efficient variable ordering and partial representation algorithm.

Jawahar Jain, Dinos Moundanos, James R. Bitner, Jacob A. Abraham, Donald S. Fussell, Don E. Ross

Proceedings of the 8th International Conference on VLSI Design (VLSI Design 1995), 1995

Automatic extraction of the control flow machine and application to evaluating coverage of verification vectors.

Yatin Vasant Hoskote, Dinos Moundanos, Jacob A. Abraham

Proceedings of the 1995 International Conference on Computer Design (ICCD '95), 1995

1994

A new scheme to compute variable orders for binary decision diagrams.

Jawahar Jain, James R. Bitner, Dinos Moundanos, Jacob A. Abraham, Donald S. Fussell

Proceedings of the Fourth Great Lakes Symposium on Design Automation of High Performance VLSI Systems, 1994