Sign in

VeriSFQ: A Semi-formal Verification Framework and Benchmark for Single Flux Quantum Technology.

Alvin D. WongKevin SuHang SunArash FayyaziMassoud PedramShahin Nazarian
Published in: ISQED (2019)
Keyphrases
  • formal verification
  • main contribution
  • model checking
  • data processing
  • data sets
  • real world
  • case study
  • knowledge representation
  • rough sets
  • orders of magnitude