Skip to main content
SpringerLink
Log in

VIS

  • Conference paper
  • First Online:
Book cover Formal Methods in Computer-Aided Design (FMCAD 1996)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1166))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Kenneth L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.

    Google Scholar 

  2. R. K. Brayton et al. HSIS: A BDD based system for formal verification. Proc. of Design Automation Conference, 1994.

    Google Scholar 

  3. S.-T. Cheng. Compiling Verilog into automata. Tech. Rep. UCB/ERL M94/37, May 1994.

    Google Scholar 

  4. E.M. Sentovich et al. SIS: a system for sequential circuit synthesis. Tech. Rep. M92/41, May 1992.

    Google Scholar 

  5. VIS Home Page: http://www-cad.eecs.berkeley.edu/∼vis

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of EECS, University of California, 94720, Berkeley, CA

    Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Shaz Qadeer, Rajeev K. Ranjan, Thomas R. Shiple, Gitanjali Swamy & Tiziano Villa

  2. Department of ECE, University of Colorado, 80309, Boulder, CO

    Gary D. Hachtel, Fabio Somenzi & Abelardo Pardo

  3. Department of ECE, University of Texas at Austin, 78712, TX

    Adnan Aziz

  4. Lattice Semiconductor, 95035, Milpitas, CA

    Shaker Sarwary

Authors
  1. Robert K. Brayton
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gary D. Hachtel
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Alberto Sangiovanni-Vincentelli
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Fabio Somenzi
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Adnan Aziz
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Szu-Tsung Cheng
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Stephen A. Edwards
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. Sunil P. Khatri
    View author publications

    You can also search for this author in PubMed Google Scholar

  9. Yuji Kukimoto
    View author publications

    You can also search for this author in PubMed Google Scholar

  10. Abelardo Pardo
    View author publications

    You can also search for this author in PubMed Google Scholar

  11. Shaz Qadeer
    View author publications

    You can also search for this author in PubMed Google Scholar

  12. Rajeev K. Ranjan
    View author publications

    You can also search for this author in PubMed Google Scholar

  13. Shaker Sarwary
    View author publications

    You can also search for this author in PubMed Google Scholar

  14. Thomas R. Shiple
    View author publications

    You can also search for this author in PubMed Google Scholar

  15. Gitanjali Swamy
    View author publications

    You can also search for this author in PubMed Google Scholar

  16. Tiziano Villa
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Mandayam Srivas Albert Camilleri

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Brayton, R.K. et al. (1996). VIS. In: Srivas, M., Camilleri, A. (eds) Formal Methods in Computer-Aided Design. FMCAD 1996. Lecture Notes in Computer Science, vol 1166. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0031812

Download citation

  • DOI: https://doi.org/10.1007/BFb0031812

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61937-6

  • Online ISBN: 978-3-540-49567-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation