Transformation rules for automated design of circuits by theorem-proving techniques. Transformation from recursion equations to circuit descriptions.
Masateru HaraoKoji IwanumaPublished in: Systems and Computers in Japan (1989)
Keyphrases
- transformation rules
- theorem proving
- automated design
- recursive programs
- evolutionary design
- first order logic
- theorem prover
- engineering design
- metamodel
- inference rules
- security protocols
- artificial intelligence
- model driven
- mechanism design
- proof planning
- consequence finding
- life cycle
- incomplete information
- game theory
- lightweight
- knowledge representation
- databases