qEC: A Logical Equivalence Checking Framework Targeting SFQ Superconducting Circuits
In: IEEE International Superconductive Electronics Conference (ISEC); (2019-07-01) S. 1-3
Konferenz
Zugriff:
Titel: |
qEC: A Logical Equivalence Checking Framework Targeting SFQ Superconducting Circuits
|
---|---|
Autor/in / Beteiligte Person: | Fayyazi, Arash ; Nazarian, Shahin ; Pedram, Massoud |
Quelle: | IEEE International Superconductive Electronics Conference (ISEC); (2019-07-01) S. 1-3 |
Veröffentlichung: | 2019 |
Medientyp: | Konferenz |
ISBN: | 978-1-7281-1196-4 (print) |
DOI: | 10.1109/ISEC46533.2019.8990894 |
Sonstiges: |
|