Spectral approach to verifying non-linear arithmetic circuits.

Cunxi Yu Tiankai Su Atif Yasin Maciej J. Ciesielski

Published in: ASP-DAC (2019)

Keyphrases

model checking
analog vlsi
high speed
hyperspectral imagery
image processing
multiscale
spectral images
hyperspectral images
arithmetic operations
spectral features
vlsi circuits
database
asynchronous circuits
analog circuits
circuit design
multispectral images
hyperspectral
multispectral