Theorem proving guided development of formal assertions in a resource-constrained scheduler for high-level synthesis.

Naren Narasimhan, Elena Teica, Rajesh Radhakrishnan, Sriram Govindarajan, Ranga Vemuri

Browse the full ICCD paper archive.