System, method, and computer program product for testing an integrated circuit from a command line
AssigneeNVIDIA Corporation
InventorRobert Alfieri
Life of this patent
Estimating the term…
Abstract
A system, method, and computer program product are provided for testing a circuit representation. A command line input is received at a command line interface. The command line input is translated into one or more test conditions. Additionally, a test environment configured to simulate the circuit representation and verify the one or more test conditions is generated.
Claims20
A method, comprising:
- receiving a command line input at a command line interface, wherein the command line input includes at least one of an assumption and an expression corresponding to a test condition;
- translating the command line input into one or more test conditions, wherein based on at least one signal, an assumption specified by the command line input is translated into a command that, when executed, verifies a first test condition corresponding to the assumption;
- and
- generating a test environment configured to simulate a circuit representation and verify the one or more test conditions.
A non-transitory computer-readable storage medium storing instructions that, when executed by a processor, cause the processor to perform steps comprising:
- receiving a command line input at a command line interface, wherein the command line input includes at least one of an assumption and an expression corresponding to a test condition;
- translating the command line input into one or more test conditions, wherein, based on at least one signal, an assumption specified by the command line input is translated into a command that, when executed, verifies a first test condition corresponding to the assumption;
- and
- generating a test environment configured to simulate a circuit representation and verify the one or more test conditions.
A system for testing a circuit representation, the system comprising:
- a memory configured to store program instructions and the circuit representation;
- and
- a processor configured to:
- receive a command line input at a command line interface, wherein the command line input includes at least one of an assumption and an expression corresponding to a test condition;
- execute one or more of the program instructions to:
- translate the command line input into one or more test conditions, wherein, based on at least one signal, an assumption specified by the command line input is translated into a command that, when executed, verifies a first test condition corresponding to the assumption;
- and
- generate a test environment configured to simulate the circuit representation and verify the one or more test conditions.
A method, comprising:
- receiving a command line input at a command line interface, wherein the command line input includes at least one of an assumption and an expression corresponding to a test condition;
- translating the command line input into one or more test conditions, wherein an expression specified by the command line input is translated into a command that, when executed, allows at least one input signal or one output signal to have an unknown value during simulation of the circuit representation;
- and
- generating a test environment configured to simulate a circuit representation and verify the one or more test conditions.
Dependencies are inferred from the claim text.