Theorem proving guided development of formal assertions in a resource-constrained scheduler for high-level synthesis.
Naren NarasimhanElena TeicaRajesh RadhakrishnanSriram GovindarajanRanga VemuriPublished in: ICCD (1998)
Keyphrases
- theorem proving
- resource constrained
- high level synthesis
- theorem prover
- first order logic
- wireless sensor networks
- resource constraints
- proof planning
- inference rules
- parallel search
- consequence finding
- case study
- software engineering
- sensor networks
- geometry theorem proving
- design space exploration
- expert systems
- artificial intelligence