Equivalence Checking of System-Level and SPICE-Level Models of Static Nonlinear Circuits.

Kemal Çaglar Coskun Muhammad Hassan Rolf Drechsler

Published in: DATE (2023)

Keyphrases

neural network
image processing
low level
statistical models
prior knowledge
higher level
complex systems
mathematical models
hybrid model
levels of abstraction