Verification for Field-coupled Nanocomputing Circuits.

Marcel Walter Robert Wille Frank Sill Torres Daniel Große Rolf Drechsler

Published in: DAC (2020)

Keyphrases

asynchronous circuits
model checking
formal verification
information retrieval
image processing
multi agent
information technology