Using Rewriting to Synthesize Functional Languages to Digital Circuits.
Christiaan BaaijJan KuperPublished in: Trends in Functional Programming (2013)
Keyphrases
- digital circuits
- data flow
- regular path queries
- expressive power
- model based diagnosis
- evolvable hardware
- functional language
- circuit design
- finite state machines
- functional decomposition
- decision diagrams
- cross lingual
- language independent
- rewrite rules
- queries using views
- reinforcement learning
- rewriting rules
- query rewriting
- pattern matching