Searching for "VIS A System for Verification and Synthesis." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

7 documents found, showing 1 through 7.

VIS: A System for Verification and Synthesis
by Alberto Sangiovanni-Vincentelli, Adnan Aziz, Szu-Tsung Cheng, Stephen Edwards, Sunil Khatri, Yuji Kukimoto, Shaz Qadeer, Thomas R. Shiple, Gitanjali Swamy, Gary D. Hachtel, Fabio Somenzi, Abelardo Pardo, Rajeev K. Ranjan, Rajeev K. Ranjan, Robert K. Brayton, Robert K. Brayton — 1996
… files for browsing on the World Wide Web. VIS : A System for Verification and Synthesis Robert K…
Add To MetaCart

VIS : A System for Verification and Synthesis
by Robert Brayton, Gary D. Hachtel, Alberto Sangiovanni-vincentelli, Fabio Somenzi, Adnan Aziz, Szu-tsung Cheng, Stephen Edwards — 1996
… : A System for Verification and Synthesis Robert K. Brayton Gary D. Hachtel y Alberto…
Cited by 95 (22 self) – Add To MetaCart

Improving Pointer-Based Codes Through Cache-Conscious Data Placement
by Trishul M. Chilimbi, James R. Larus, Mark D. Hill — 1998
…. Pardo, S. Qadeer, R. Ranjan, S. Sarwary, T. R. Shilpe, G. Swamy, and T. Villa. “VIS: a system…
Cited by 13 (1 self) – Add To MetaCart

CCECE 2003 - CCGEI 2003, Montral, May/mai 2003
by Ieee Syntax Code
…, 1993. [12] R. K. Brayton et al. VIS: A system for verification and synthesis. In Computer Aided…
Add To MetaCart

Workshop Summary: Computational and Complexity Issues in Automated Verification
by Robert Brayton, A. Emerson, J. Feigenbaum — 1996
…Check: The Productization of COSPAN 12:00-12:30 T. Shiple: VIS: A System for Verification and Synthesis 1.4.2 Systems…
Cited by 1 (1 self) – Add To MetaCart

DIMACS Technical Report 96-15 June, 1996
by Workshop Summary, Robert Brayton, Allen Emerson, Joan Feigenbaum — 1996
…Check: The Productization of COSPAN 12:00-12:30 T. Shiple: VIS: A System for Verification and Synthesis 1.4.2 Systems…
Add To MetaCart

Dependablesyenda Evolution
by Grand Challenge For
…. Journal of the ACM 43(1):166–192. Bra96 R. Brayton et al. 1996. VIS: A system for verification…
Add To MetaCart

Showing 1 through 7.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB