Spectral Approach to Verifying Non-linear Arithmetic Circuits.

Cunxi Yu Tiankai Su Atif Yasin Maciej J. Ciesielski

Published in: CoRR (2019)

Keyphrases

spectral analysis
hyperspectral imagery
introducing additional
logic circuits
arithmetic operations
high speed
hyperspectral
spatial frequency
model checking
delay insensitive
circuit design
multiresolution
digital circuits
highly non linear
quantum computing
analog vlsi
low cost