Performing High-Level Synthesis via Program Transformations within a Theorem Prover.
Christian BlumenröhrDirk EisenbieglerPublished in: EUROMICRO (1998)
Keyphrases
- theorem prover
- high level synthesis
- term rewriting
- theorem proving
- first order logic
- inference rules
- formal proof
- automated theorem proving
- computer algebra
- boolean algebra
- natural deduction
- proof planning
- proof search
- design space exploration
- computer systems
- parallel architecture
- mathematical knowledge
- information systems
- data mining
- higher order
- probability distribution