Sign in
Hierarchical Verification of AMS Systems With Affine Arithmetic Decision Diagrams.
Carna Zivkovic
Christoph Grimm
Markus Olbrich
Oliver Scharf
Erich Barke
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2019)
Keyphrases
</>
distributed systems
machine learning
computational complexity
knowledge based systems
np complete
bit rate
complex systems
digital circuits