Theorem Proving Guided Development of Formal Assertions in a Resource-Constrained Scheduler for High-Level Synthesis.
Naren NarasimhanElena TeicaRajesh RadhakrishnanSriram GovindarajanRanga VemuriPublished in: Formal Methods Syst. Des. (2001)
Keyphrases
- theorem proving
- resource constrained
- high level synthesis
- wireless sensor networks
- resource constraints
- sensor networks
- first order logic
- theorem prover
- parallel search
- proof planning
- inference rules
- geometry theorem proving
- consequence finding
- case study
- np hard
- search algorithm
- multi agent
- signal processing
- data sets