Sun Microsystems, Inc.

Victor A Chang

William K Lam

Mohamed Soufi

Deepankar Bairagi

Nasser Nouri

A system for evaluating a simulation includes a reference simulator configured to execute a simulation image to obtain golden data, a test simulator configured to execute the simulation image to obtain test data, and a comparator configured to generate a comparison result by comparing a portion of the golden data to a portion of the test data before the execution of the simulation image on the test simulator has completed.

Self-checking simulations using dynamic data loading

A method for providing verification for a simulation design, including obtaining the simulation design comprising a programming language interface system call, encoding a target of the programming language interface system call into the simulation design to obtain a first modified simulation design, modifying the programming language interface system call to reference the target in the first modified simulation design to obtain a second modified simulation design, and verifying the second modified simulation design using a simulation testbench.

PLI-less co-simulation of ISS-based verification systems in hardware simulators

A method for transforming a behavioral specification involves converting the behavioral specification into a diagram representation, converting a delay from the diagram representation if the behavioral specification comprises a delay, generating a compliant cycle diagram from the diagram representation, and deriving a cycle equivalent behavioral specification from the compliant cycle diagram.

Method for transforming behavioral architectural and verification specifications into cycle-based compliant specifications

The invention provides a method for detecting and isolating software bugs and generating a minimal set of stimuli to reproduce the bugs. The present invention utilizes a recursive algorithm to compare the output of successively smaller software blocks of a program in development to a verified output sample. The smallest software blocks which are found to contain a bug are isolated. For each of these isolated blocks, the smallest input vector is determined such that the application of this vector to the block expresses the bug. The present invention utilizes a separate recursive algorithm to determine these minimal vectors.

Method and apparatus for automatically isolating minimal distinguishing stimuli in design verification and software development

A method for dynamically customizing object code for simulation includes obtaining a statically generated object (SGO) and a first test vector, segmenting the SGO with a marker node to generate a segmented SGO comprising a plurality of SGO segments, generating a first simulation profile using the segmented SGO and the first test vector, locating a first unexercised segment of the plurality of SGO segments using the first simulation profile, and generating a first reduced SGO by removing the first unexercised segment from the segmented SGO.

Boosting simulation performance by dynamically customizing segmented object codes based on stimulus coverage

One embodiment of the present invention provides a system that facilitates generating a simulation module for testing a system design. The system operates by receiving a system specification, which specifies correct behavior for modules within the system design. The system also receives modules that are individually designed to this system specification. The system then compares the modules with the system specification to identify nonfunctioning modules that can include either missing modules or incorrect modules. The system also determines an interface for the nonfunctioning modules from the system specification, which specifies input and output requirements for these nonfunctioning modules. The system then generates the simulation module. This simulation module can function in place of the nonfunctioning module and can simulate a functionality assigned to the nonfunctioning module.

Growing community of inventors

Palo Alto, CA, United States of America

Victor A Chang