Assertion checking using two or more cores

Details Assertion checking using two or more cores Assertion checking using two or more cores

2006-11-14

2006-11-14

Do, Thuan (Department: 2825)

Computer-aided design and analysis of circuits and semiconductor

Nanotechnology related integrated circuit design

C716S030000, C716S030000

Reexamination Certificate

active

07137086

ABSTRACT:
An SoCs with functionally reconfigurable modules employing the modules to configure circuitry for performing assertion checking. Both at-speed assertion checking as well as continuous single step (CSS) assertion checking is disclosed. Advantageously, the checking of the various cores within the SoC is carried out concurrently, in subsets of the entire set of assertions that need to be checked out. Advantageously, bit extraction and injection is used in CSS assertion checking to permit use of relatively small registers for the assertion checking of each subset of assertions.

REFERENCES:
patent: 6311149 (2001-10-01), Ryan et al.
patent: 6484280 (2002-11-01), Moberly
patent: 6665817 (2003-12-01), Rieken
Koranne S: “A Novel Reconfigurable Wrapper for Testing of Embedded Core-Based SOCs and Its Associated Scheduling Algorithm”, Journal of Electronic Testing, Kluwer Academic Publishers, vol. 18, No. 4-5, Sep. 2002.
D. Kelf and B. Tabbara, “Assertion-Based Verification and Debug in SoC Design,” 2003 System-on-Chip Online Design Conf., www.soconline.com.
G.J. van Rootselaar, B. Vermeulen, “Silicon Debug: Scan Chains Alone Are Not Enough” in Proceedings International Test Conference, Sep. 1999.

Affiliated with

Also associated with

Rating

Assertion checking using two or more cores does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Assertion checking using two or more cores, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Assertion checking using two or more cores will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3640803