Inproceedings,
qMC: A Formal Model Checking Verification Framework For Superconducting Logic.
M. Munir, A. Gopikanna, A. Fayyazi, M. Pedram, and S. Nazarian.ACM Great Lakes Symposium on VLSI, page 259-264. ACM, (2021)
Meta data
- BibTeX key
- conf/glvlsi/MunirGFPN21
- entry type
- inproceedings
- booktitle
- ACM Great Lakes Symposium on VLSI
- year
- 2021
- pages
- 259-264
- publisher
- ACM
- crossref
- conf/glvlsi/2021
- ee
- https://doi.org/10.1145/3453688.3461522
- isbn
- 978-1-4503-8393-6
- url
- http://dblp.uni-trier.de/db/conf/glvlsi/glvlsi2021.html#MunirGFPN21
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/glvlsi/MunirGFPN21
%A Munir, Mustafa
%A Gopikanna, Aswin
%A Fayyazi, Arash
%A Pedram, Massoud
%A Nazarian, Shahin
%B ACM Great Lakes Symposium on VLSI
%D 2021
%E Chen, Yiran
%E Zhirnov, Victor V.
%E Sasan, Avesta
%E Savidis, Ioannis
%I ACM
%K dblp
%P 259-264
%T qMC: A Formal Model Checking Verification Framework For Superconducting Logic.
%U http://dblp.uni-trier.de/db/conf/glvlsi/glvlsi2021.html#MunirGFPN21
%@ 978-1-4503-8393-6
@inproceedings{conf/glvlsi/MunirGFPN21,
added-at = {2023-09-30T00:00:00.000+0200},
author = {Munir, Mustafa and Gopikanna, Aswin and Fayyazi, Arash and Pedram, Massoud and Nazarian, Shahin},
biburl = {https://www.bibsonomy.org/bibtex/2ce152d4755186799c4612b9fbb79769a/dblp},
booktitle = {ACM Great Lakes Symposium on VLSI},
crossref = {conf/glvlsi/2021},
editor = {Chen, Yiran and Zhirnov, Victor V. and Sasan, Avesta and Savidis, Ioannis},
ee = {https://doi.org/10.1145/3453688.3461522},
interhash = {42aa9b0b99d5b46652afd250de18f654},
intrahash = {ce152d4755186799c4612b9fbb79769a},
isbn = {978-1-4503-8393-6},
keywords = {dblp},
pages = {259-264},
publisher = {ACM},
timestamp = {2024-04-09T22:51:33.000+0200},
title = {qMC: A Formal Model Checking Verification Framework For Superconducting Logic.},
url = {http://dblp.uni-trier.de/db/conf/glvlsi/glvlsi2021.html#MunirGFPN21},
year = 2021
}