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

researchr

You are not signed in
Sign in
Sign up

Naren Narasimhan, Elena Teica, Rajesh Radhakrishnan, Sriram Govindarajan, Ranga Vemuri. Theorem proving guided development of formal assertions in a resource-constrained scheduler for high-level synthesis. In ICCD. pages 392-399, 1998. [doi]

Abstract is missing.

runs on WebDSL