IP Library Granted Patent US 8,423,933
Granted Patent B2
US 8,423,933 · App. 13/150,607 · Granted Apr 16, 2013

Staged scenario generation

View Patent ↗
Loading inventors, assignments & file history…
Monitor This Case
Get email alerts when status or documents change.
Order Certified Copies
Most orders are placed with the USPTO same day — all within 24 business hours.
Order via The Patent Place →
Pre-filled with this patent's details
Quick Facts
Patent No.
US 8,423,933
App. No.
13/150,607
Filed
Jun 1, 2011
Granted
Apr 16, 2013
Kind
B2
Examiner
TAT, BINH C
Art Unit
2825
USPC
716/106
Abstract

A method of verifying integrated circuit designs, by constructing a series of atomic generators in a staged, hierarchical order, applying a lowest of the hierarchical generator stages to device level test cases of the verification process, applying a highest of the hierarchical generator stages to system level test cases of the verification process, reusing code written for and used in the lowest hierarchical generator stage in a next higher generator stage, creating a constraint scenario in the highest hierarchical generator stage, and injecting the constraint scenario into a next lower generator stage.

Claims (6)

1. An integrated circuit design verification generator comprising program elements residing on a non-transitory computer-readable storage-medium, the program elements enabling the computer to cause the generator to:

selectively generate a random verification scenario,

selectively receive a verification scenario that is injected from a higher stage level generator,

decode the verification scenario and generate a sequence of lower level scenarios using a callback mechanism, where for each verification scenario, a callback is added that can decode the verification scenario and generate the sequence of lower level scenarios,

selectively inject the sequence of lower level scenarios into a lower stage level generator, and

selectively synchronize the generator at one of a sub-system level and a system level to wait for an interrupt from an external event, check a status of the interrupt, and clear the interrupt after each verification scenario.