BibTeX record conf/iccd/NarasimhanTRGV98

• > Home > conf/iccd/NarasimhanTRGV98

@inproceedings{DBLP:conf/iccd/NarasimhanTRGV98,
  author       = {Naren Narasimhan and
                  Elena Teica and
                  Rajesh Radhakrishnan and
                  Sriram Govindarajan and
                  Ranga Vemuri},
  title        = {Theorem proving guided development of formal assertions in a resource-constrained
                  scheduler for high-level synthesis},
  booktitle    = {International Conference on Computer Design: {VLSI} in Computers and
                  Processors, {ICCD} 1998, Proceedings, 5-7 October, 1998, Austin, TX,
                  {USA}},
  pages        = {392--399},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/ICCD.1998.727079},
  doi          = {10.1109/ICCD.1998.727079},
  timestamp    = {Thu, 23 Mar 2023 23:59:55 +0100},
  biburl       = {https://dblp.org/rec/conf/iccd/NarasimhanTRGV98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}