✦ LIBER ✦

Transformation rules for automated design of circuits by theorem-proving techniques. Transformation from recursion equations to circuit descriptions

✍ Scribed by Masateru Harao; Kouji Iwanuma

Book ID: 112205824
Publisher: John Wiley and Sons
Year: 1989
Tongue: English
Weight: 895 KB
Volume: 20
Category: Article
ISSN: 0882-1666
DOI: 10.1002/scj.4690200110

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automated Design of Circuits from Recurs

Automated Design of Circuits from Recursion Equations Using Theorem-Proving Technique

✍ Masateru Harao; Kouji Iwanuma 📂 Article 📅 1990 🏛 John Wiley and Sons 🌐 English ⚖ 908 KB

## Abstract This paper aims at establishing the automated design for a circuit by the theorem‐proving technique, by formulating the circuit design as a transformation from the specification description (recursion equation) to the circuit model FN (functional network based on dataflow operation). F