%0 Conference Paper %1 conf/isqed/WongSSFPN19 %A Wong, Alvin D. %A Su, Kevin %A Sun, Hang %A Fayyazi, Arash %A Pedram, Massoud %A Nazarian, Shahin %B ISQED %D 2019 %I IEEE %K dblp %P 224-230 %T VeriSFQ: A Semi-formal Verification Framework and Benchmark for Single Flux Quantum Technology. %U http://dblp.uni-trier.de/db/conf/isqed/isqed2019.html#WongSSFPN19 %@ 978-1-7281-0392-1

@inproceedings{conf/isqed/WongSSFPN19, added-at = {2019-05-04T00:00:00.000+0200}, author = {Wong, Alvin D. and Su, Kevin and Sun, Hang and Fayyazi, Arash and Pedram, Massoud and Nazarian, Shahin}, biburl = {https://www.bibsonomy.org/bibtex/20e4f8bed1a9cc4e6a31617a59bfe6174/dblp}, booktitle = {ISQED}, crossref = {conf/isqed/2019}, ee = {https://doi.org/10.1109/ISQED.2019.8697701}, interhash = {e5ce876a307937317f4c3b7468eb4591}, intrahash = {0e4f8bed1a9cc4e6a31617a59bfe6174}, isbn = {978-1-7281-0392-1}, keywords = {dblp}, pages = {224-230}, publisher = {IEEE}, timestamp = {2019-05-07T11:36:55.000+0200}, title = {VeriSFQ: A Semi-formal Verification Framework and Benchmark for Single Flux Quantum Technology.}, url = {http://dblp.uni-trier.de/db/conf/isqed/isqed2019.html#WongSSFPN19}, year = 2019 }