Assertion checkers in verification, silicon debug and in-field diagnosis

Proceedings - Eighth International Symposium on Quality Electronic Design, ISQED 2007

Volumn , Issue , 2007, Pages 613-618

  Boulé, Marc ^a   Chenard, Jean Samuel ^a   Zilic, Zeljko ^a  

^a MCGILL UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER MONITORS; NETWORKS (CIRCUITS); PROGRAM DEBUGGING;

ASSERTION BASED VERIFICATION; DESIGN COMMUNITY; FUNCTIONAL VERIFICATION; REPROGRAMMABLE LOGIC;

SILICON;

EID: 34548127961     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISQED.2007.38     Document Type: Conference Paper

References (11)

1. Y. Abarbanel et. al. FoCs: Automatic Generation of Simulation Checkers from Formal Specifications. In 12th Intl. Conf. on Computer Aided Verification, pages 538-542, 2000.
2. M. Abramovici, M. Breuer, and A. Friedman. Digital Systems Testing & Testable Design. Wiley-IEEE Press, 1994.
3. M. Abramovici et. al. A Reconfigurable Design-for-Debug Infrastructure for SoCs. In Proc. of the 43rd Design Automation Conference (43rd DAC), pages 7-12, 2006.
4. H. Al-Asaad, B. Murray, and J. Hayes. Online BIST for Embedded Systems. IEEE Design & Test of Computers, 15(4): 17-24, 1998.
5. M. Boulé, J. Chenard, and Z. Zilic. Adding Debug Enhancements to Assertion Checkers for Hardware Emulation and Silicon Debug. IEEE Intl. Conference on Computer Design (ICCD'06), pages 294-299, 2006.
6. M. Boulé and Z. Zilic. Incorporating Efficient Assertion Checkers into Hardware Emulation. IEEE Intl. Conference on Computer Design (ICCD'05), pages 221-228, 2005.
7. M. Boulé and Z. Zilic. Efficient Automata-Based Assertion-Checker Synthesis of PSL Properties. IEEE Intl. High Level Design Validation and Test Workshop, pages 69-76, 2006.
8. B. Cohen, S. Venkataramanan, and A. Kumari. Using PSL/Sugar for Formal and Dynamic Verification. VhdlCohen Publishing, Los Angeles, California, 2004.
9. T. Cormen, C. Leiserson, and R. Rivest. Introduction to Algorithms. McGraw-Hill Book Company, 1999.
10. M. Platzner. Reconfigurable Computer Architectures, http://citeseer.ist. psu.edu/490784.html.
11. A. Seawright and F. Brewer. Clairvoyant: A Synthesis System for Production-Based Specification. IEEE Transactions on VLSI Systems, 2(2):172-185, 1994.