Formal methods in circuit design
Victoria Stavridou · Medical Entomology and Zoology · 1993
1. Introduction 2. Requirements 3. Case studies 4. The term rewriting approach 5. OBJ3 as a hardware specification language 6. Theorem proving with OBJ3 7. OBJ3 case studies 8. Conclusions Appendix Bibliography Index.