%0 Conference Paper %1 conf/date/BasuDDCMF04 %A Basu, Prasenjit %A Das, Sayantan %A Dasgupta, Pallab %A Chakrabarti, P. P. %A Mohan, Chunduri Rama %A Fix, Limor %B DATE %D 2004 %I IEEE Computer Society %K dblp %P 668-669 %T Formal Verification Coverage: Are the RTL-Properties Covering the Design's Architectural Intent? %U http://dblp.uni-trier.de/db/conf/date/date2004-1.html#BasuDDCMF04 %@ 0-7695-2085-5

@inproceedings{conf/date/BasuDDCMF04, added-at = {2024-02-29T00:00:00.000+0100}, author = {Basu, Prasenjit and Das, Sayantan and Dasgupta, Pallab and Chakrabarti, P. P. and Mohan, Chunduri Rama and Fix, Limor}, biburl = {https://www.bibsonomy.org/bibtex/21ddca68458f837999ded0e4366c85c63/dblp}, booktitle = {DATE}, crossref = {conf/date/2004}, ee = {http://dl.acm.org/citation.cfm?id=968985}, interhash = {361d98ab9d2515e2b2055e5de19dcf33}, intrahash = {1ddca68458f837999ded0e4366c85c63}, isbn = {0-7695-2085-5}, keywords = {dblp}, pages = {668-669}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:51:35.000+0200}, title = {Formal Verification Coverage: Are the RTL-Properties Covering the Design's Architectural Intent?}, url = {http://dblp.uni-trier.de/db/conf/date/date2004-1.html#BasuDDCMF04}, year = 2004 }