Formal VLSI specification and synthesis : Proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design
Ifip Wg, Luc Claesen · Medical Entomology and Zoology · 1990
Guided Synthesis Methods. Boyer-Moore Assisted Specification and Synthesis. Higher Order Logic Based Specification and Synthesis. Specification Formalisms. Formal Design of Regular VLSI Structures. Appendix: Formal Design Benchmark Example.