BibTeX record conf/date/FadihehUNMBSK18

• > Home > conf/date/FadihehUNMBSK18

@inproceedings{DBLP:conf/date/FadihehUNMBSK18,
  author       = {Mohammad Rahmani Fadiheh and
                  Joakim Urdahl and
                  Srinivasa Shashank Nuthakki and
                  Subhasish Mitra and
                  Clark W. Barrett and
                  Dominik Stoffel and
                  Wolfgang Kunz},
  editor       = {Jan Madsen and
                  Ayse K. Coskun},
  title        = {Symbolic quick error detection using symbolic initial state for pre-silicon
                  verification},
  booktitle    = {2018 Design, Automation {\&} Test in Europe Conference {\&}
                  Exhibition, {DATE} 2018, Dresden, Germany, March 19-23, 2018},
  pages        = {55--60},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.23919/DATE.2018.8341979},
  doi          = {10.23919/DATE.2018.8341979},
  timestamp    = {Sat, 30 Sep 2023 09:38:40 +0200},
  biburl       = {https://dblp.org/rec/conf/date/FadihehUNMBSK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}