Digital system verification : a combined formal methods and simulation framework /
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Published: |
[San Rafael, Calif.] :
Morgan & Claypool Publishers,
[2010]
|
| Series: | Synthesis lectures on digital circuits and systems ;
#27. |
| Subjects: |
| Physical Description: | xiv, 79 pages : illustrations ; 24 cm. |
|---|---|
| Bibliography: | Includes bibliographical references. |
| ISBN: | 9781608451784 (pbk.) 160845178X (pbk.) 9781608451791 (ebook) 1608451798 (ebook) |
| ISSN: | 1932-3166 ; |