%0 Conference Paper %1 conf/date/FadihehUNMBSK18 %A Fadiheh, Mohammad Rahmani %A Urdahl, Joakim %A Nuthakki, Srinivasa Shashank %A Mitra, Subhasish %A Barrett, Clark W. %A Stoffel, Dominik %A Kunz, Wolfgang %B DATE %D 2018 %E Madsen, Jan %E Coskun, Ayse K. %I IEEE %K dblp %P 55-60 %T Symbolic quick error detection using symbolic initial state for pre-silicon verification. %U http://dblp.uni-trier.de/db/conf/date/date2018.html#FadihehUNMBSK18 %@ 978-3-9819263-0-9

@inproceedings{conf/date/FadihehUNMBSK18, added-at = {2023-09-30T00:00:00.000+0200}, author = {Fadiheh, Mohammad Rahmani and Urdahl, Joakim and Nuthakki, Srinivasa Shashank and Mitra, Subhasish and Barrett, Clark W. and Stoffel, Dominik and Kunz, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/28ae5928838df497bef61618d09cfbd38/dblp}, booktitle = {DATE}, crossref = {conf/date/2018}, editor = {Madsen, Jan and Coskun, Ayse K.}, ee = {https://doi.org/10.23919/DATE.2018.8341979}, interhash = {541827e3e47575b075c897cdc9ab3f32}, intrahash = {8ae5928838df497bef61618d09cfbd38}, isbn = {978-3-9819263-0-9}, keywords = {dblp}, pages = {55-60}, publisher = {IEEE}, timestamp = {2024-10-07T08:13:21.000+0200}, title = {Symbolic quick error detection using symbolic initial state for pre-silicon verification.}, url = {http://dblp.uni-trier.de/db/conf/date/date2018.html#FadihehUNMBSK18}, year = 2018 }