| DaftarIsitemplate |
| Call Number |
| SEm-234 |
| Title |
| Hierarchical gate-level verification of speed-independent circuits, Hal. 128-137 |
| Author |
| Oriol Roig; Jordi Cortadella and Enric Pastor; |
| Publisher |
| Proceedings : asynchronous design methodologies, May 30-31, 1995 London, England, 1995 |
| Subject |
| Location |