@article{rad-gri-sch-rat-13-aa-mixsig,
  author = {Radoji{\v{c}}i{\'c}, {\v{C}}arna and Christoph Grimm and Florian Schupfer and Michael Rathmair},
  title = {Verification of Mixed-Signal Systems with Affine Arithmetic Assertions},
  journal = {VLSI Design},
  volume = {2013},
  number = {3},
  pages = {article 239064},
  doi = {10.1155/2013/239064},
  year = 2013,
  abstract = {Embedded systems include an increasing share of analog/mixed-signal components that are tightly interwoven with functionality of digital HW/SW systems. A challenge for verification is that even small deviations in analog components can lead to significant changes in system properties. In this paper we propose the combination of range-based, semisymbolic simulation with assertion checking. We show that this approach combines advantages, but as well some limitations, of multirun simulations with formal techniques. The efficiency of the proposed method is demonstrated by several examples.}
}