Login / Signup
VeriSFQ - A Semi-formal Verification Framework and Benchmark for Single Flux Quantum Technology.
Alvin D. Wong
Kevin Su
Hang Sun
Arash Fayyazi
Massoud Pedram
Shahin Nazarian
Published in:
CoRR (2019)
Keyphrases
</>
formal verification
main contribution
case study
data sets
artificial intelligence
software engineering
rough sets
theoretical framework
key technologies
symbolic model checking