VIS

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1166, Issue , 1996, Pages 248-256

  Brayton, Robert K ^a   Hachtel, Gary D ^b   Sangiovanni Vincentelli, Alberto ^a   Somenzi, Fabio ^b   Aziz, Adnan ^c   Cheng, Szu Tsung ^a   Edwards, Stephen A ^a   Khatri, Sunil P ^a   Kukimoto, Yuji ^a   Pardo, Abelardo ^b   Qadeer, Shaz ^a   Ranjan, Rajeev K ^a   Sarwary, Shaker ^d   Shiple, Thomas R ^a   Swamy, Gitanjali ^a   Villa, Tiziano ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF COLORADO   (United States)

^c UNIVERSITY OF TEXAS AT AUSTIN   (United States)

^d Lattice Semiconductor Corporation   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957669202     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0031812     Document Type: Conference Paper

References (5)

1. Kenneth L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
2. R. K. Brayton et al. HSIS: A BDD based system for formal verification. Proc. of Design Automation Conference, 1994.
3. S.-T. Cheng. Compiling Verilog into automata, Tech. Rep. UCB/ERL M94/37, May 1994.
4. E.M. Sentovich et al. SIS: a system for sequential circuit synthesis, Tech. Rep, M92/41, May 1992.
5. VIS Home Page: http://www-cad.eecs.berkeley.edu/-vis