VIS: A system for verification and synthesis | springerprofessional.de

Springer Professional

nach oben

Erschienen in:

1996 | ReviewPaper | Buchkapitel

VIS: A system for verification and synthesis

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

Erschienen in: Computer Aided Verification

Verlag: Springer Berlin Heidelberg

Enthalten in: Professional Book Archive

Zugang erhalten

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Vorheriges Kapitel COSPAN

Nächstes Kapitel MDG tools for the verification of RTL designs

Titel: VIS: A system for verification and synthesis
verfasst von: Robert K. Brayton
Gary D. Hachtel
Alberto Sangiovanni-Vincentelli
Fabio Somenzi
Adnan Aziz
Szu -Tsung Cheng
Stephen Edwards
Sunil Khatri
Yuji Kukimoto
Abelardo Pardo
Shaz Qadeer
Rajeev K. Ranjan
Shaker Sarwary
Thomas R. Staple
Gitanjali Swamy
Tiziano Villa
Verlag: Springer Berlin Heidelberg
Buch: Computer Aided Verification
Print ISBN: 978-3-540-61474-6

Electronic ISBN: 978-3-540-68599-9

Copyright-Jahr: 1996
DOI: https://doi.org/10.1007/3-540-61474-5_95

Springer Professional

Premium Partner