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]
@inproceedings{NarasimhanTRGV98, title = {Theorem proving guided development of formal assertions in a resource-constrained scheduler for high-level synthesis}, author = {Naren Narasimhan and Elena Teica and Rajesh Radhakrishnan and Sriram Govindarajan and Ranga Vemuri}, year = {1998}, doi = {10.1109/ICCD.1998.727079}, url = {http://doi.ieeecomputersociety.org/10.1109/ICCD.1998.727079}, researchr = {https://researchr.org/publication/NarasimhanTRGV98}, cites = {0}, citedby = {0}, pages = {392-399}, booktitle = {ICCD}, }