VIS-Reference-Cited by-同舟云学术

VIS

Published:1996 Issue: Volume: Page:248-256
ISSN:0302-9743
Container-title:Formal Methods in Computer-Aided Design
language:
Short-container-title:

Author:

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

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0031812

Reference5 articles.

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

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Case Study in Safety, Security, and Availability of Wireless-Enabled Aircraft Communication Networks;17th AIAA Aviation Technology, Integration, and Operations Conference;2017-06-05

2. Strengthening Model Checking Techniques With Inductive Invariants;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2009-01

3. An Algorithm for Strongly Connected Component Analysis in n log n Symbolic Steps;Formal Methods in System Design;2006-01

4. Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking;Electronic Notes in Theoretical Computer Science;2005-03

5. Are BDDs still alive within sequential verification?;International Journal on Software Tools for Technology Transfer;2005-01-25