Author:
Vermeulen Bart,Goossens Kees
Publisher
Springer International Publishing
Reference102 articles.
1. Yael Abarbanel, Ilan Beer, Leonid Glushovsky, Sharon Keidar, and Yaron Wolfsthal. Focs: Automatic generation of simulation checkers from formal specifications. In Proc. International Conference on Computer Aided Verification, pages 538–542, London, UK, 2000. Springer-Verlag.
2. Miron Abramovici, Paul Bradley, Kumar Dwarakanath, Peter Levin, Gerard Memmi, and Dave Miller. A reconfigurable design-for-debug infrastructure for SoCs. In Proc. Design Automation Conference, pages 7–12, New York, NY, USA, 2006. Association for Computing Machinery, Inc.
3. D.A. Abramson and R. Sosic. Relative Debugging Using Multiple Program Versions. In Proc. International Symposium on Languages for Intensional Programming, 1995.
4. Allinea Softeware Inc. Allinea DDT 4.1: High-impact debugging from novice to master, 2013.
5. Altera Corporation. Quartus II Handbook Version 13.0 - Design Debugging Using the SignalTap II Logic Analyzer, 2013.