System, method, and computer program product for testing an integrated circuit from a command line
First Claim
Patent Images
1. 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.
1 Assignment
0 Petitions
Accused Products
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.
-
Citations
20 Claims
-
1. 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. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11)
-
-
12. 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. - View Dependent Claims (13, 14, 15, 16)
-
-
17. 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. - View Dependent Claims (18, 19)
-
-
20. 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.
-
Specification