Digital system verification : a combined formal methods and simulation framework /
Includes bibliographical references
| Principais autores: | , |
|---|---|
| Formato: | |
| Idioma: | eng |
| Publicado em: |
[San Rafael, Calif.] : Morgan & Claypool Publishers,
c201
|
| Assuntos: |