@inproceedings{bar-fur-gla-gri-hed-16-aa-anamix,
  author = {Barke, Erich and F{\"u}rtig, Andreas and Gl{\"a}ser, Georg and Grimm, Christoph and 
Hedrich, Lars and Heinen, Stefan and Hennig, Eckhard and Lee, Hyun-Sek Lukas and Nebel, Wolfgang and Nitsche, Gregor and Olbrich, Markus and Radoji{\v{c}}i{\'c}, {\v{C}}arna and Speicher, Fabian},
  title = {Embedded Tutorial: {Analog}-/Mixed-Signal Verification Methods for {AMS} Coverage Analysis},
  booktitle = {Proceedings of the 2016 Design, Automation {\&} Test in Europe Conference {\&} Exhibition (DATE)},
  year = 2016,
  month = mar,
  location = {Dresden, DE},
  pages = {1102-1111},
  isbn = {978-3-9815-3707-9},
  doi = {10.3850/9783981537079_1010},
  comment = {Overview of many methods, including a description of Extended AA (XAA) that stores a set of poytopes intead of a single polytope.  That allows conditional and iterative operations.},
  abstract = {Analog-/Mixed-Signal (AMS) design verification is one of the most challenging and time consuming tasks of todays complex system on chip (SoC) designs. In contrast to digital system design, AMS designers have to deal with a continuous state space of conservative quantities, highly nonlinear relationships, non-functional influences, etc. enlarging the number of possibly critical scenarios to infinity. In this special session we demonstrate the verification of functional properties using simulative and formal methods. We combine different approaches including automated abstraction and refinement of mixed-level models, state-space discretization as well as affine arithmetic. To reach sufficient verification coverage with reasonable time and effort, we use enhanced simulation schemes to avoid conventional simulation drawbacks.},
}