Verification techniques for system-level design/
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam ; Boston:
Elsevier/Morgan Kaufmann Publishers,
c2008
|
| Series: | The Morgan Kaufmann series in systems on silicon
|
| Subjects: |
| Physical Description: | viii, 240 p. : ill. ; 25 cm. |
|---|---|
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 9780123706164 |