Table of Contents
VLSI Design
Volume 2013, Article ID 239064, 14 pages
Research Article

Verification of Mixed-Signal Systems with Affine Arithmetic Assertions

1Design of Cyber-Physical Systems, Kaiserslautern University of Technology, Postfach 3049, 67663 Kaiserslautern, Germany
2Institute of Computer Technology, Vienna University of Technology, Gushausstraße 27-29, 1040 Vienna, Austria

Received 3 January 2013; Revised 26 March 2013; Accepted 28 March 2013

Academic Editor: Chang-Ho Lee

Copyright © 2013 Carna Radojicic et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Citations to this Article [4 citations]

The following is the list of published articles that have cited the current article.

  • Rolf Drechsler, and Daniel Grose, “Verifying next generation electronic systems,” 2017 International Conference on Infocom Technologies and Unmanned Systems (Trends and Future Directions) (ICTUS), pp. 6–10, . View at Publisher · View at Google Scholar
  • Carna Radojicic, Javier Moreno, Xiao Pan, and Christoph Grimm, “On more dependable assertion-based verification,” IECON Proceedings (Industrial Electronics Conference), pp. 7742–7747, 2013. View at Publisher · View at Google Scholar
  • Michael Kaergel, Markus Olbrich, and Erich Barke, “Simulation based verification with range based signal representations for mixed-signal systems,” Proceedings, SBCCI 2014 - 27th Symposium on Integrated Circuits and Systems Design: Chip in Aracaju, 2014. View at Publisher · View at Google Scholar
  • Carna Radojicic, Christoph Grimm, Axel Jantsch, and Michael Rathmair, “Towards Verification of Uncertain Cyber-Physical Systems,” Electronic Proceedings in Theoretical Computer Science, vol. 247, pp. 1–17, 2017. View at Publisher · View at Google Scholar