Rajeev Ranjan

Claudionor Coelho

Sebastian Skalberg

Proceedings of the 46th Design Automation Conference, 2009

2002

Formal verification methods: getting around the brick wall.

[BibT_eX]

[DOI]

Proceedings of the 39th Design Automation Conference, 2002

1999

Using Combinational Verification for Sequential Circuits.

[BibT_eX]

[DOI]

Proceedings of the 1999 Design, 1999

1998

On the optimization power of retiming and resynthesis transformations.

[BibT_eX]

[DOI]

Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998

A Performance Study of BDD-Based Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 1998

A Comparison of Presburger Engines for EFSM Reachability.

[BibT_eX]

[DOI]

Thomas R. Shiple

James H. Kukula

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

Dynamic Reordering in a Breadth-First Manipulation Based BDD Package: Challenges and Solutions.

[BibT_eX]

[DOI]

Wilsin Gosti

Proceedings of the Proceedings 1997 International Conference on Computer Design: VLSI in Computers & Processors, 1997

Benchmarking and Analysis of Architectures for CAD Applications.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1997 International Conference on Computer Design: VLSI in Computers & Processors, 1997

1996

Binary decision diagrams on network of workstation.

[BibT_eX]

[DOI]

Jagesh V. Sanghavi

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

VIS.

[BibT_eX]

[DOI]

Gary D. Hachtel

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

High Performance BDD Package By Exploiting Memory Hiercharchy.

[BibT_eX]

[DOI]

Jagesh V. Sanghavi

Proceedings of the 33st Conference on Design Automation, 1996

VIS: A System for Verification and Synthesis.

[BibT_eX]

[DOI]

Gary D. Hachtel

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1994

HSIS: A BDD-Based Environment for Formal Verification.

[BibT_eX]

[DOI]