Login / Signup

Hierarchical Verification of AMS Systems With Affine Arithmetic Decision Diagrams.

Carna ZivkovicChristoph GrimmMarkus OlbrichOliver ScharfErich 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