BibTeX record conf/date/BasuDDCMF04

• > Home > conf/date/BasuDDCMF04

@inproceedings{DBLP:conf/date/BasuDDCMF04,
  author       = {Prasenjit Basu and
                  Sayantan Das and
                  Pallab Dasgupta and
                  P. P. Chakrabarti and
                  Chunduri Rama Mohan and
                  Limor Fix},
  title        = {Formal Verification Coverage: Are the RTL-Properties Covering the
                  Design's Architectural Intent?},
  booktitle    = {2004 Design, Automation and Test in Europe Conference and Exposition
                  {(DATE} 2004), 16-20 February 2004, Paris, France},
  pages        = {668--669},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/DATE.2004.1268922},
  doi          = {10.1109/DATE.2004.1268922},
  timestamp    = {Thu, 29 Feb 2024 08:28:21 +0100},
  biburl       = {https://dblp.org/rec/conf/date/BasuDDCMF04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}