Claims Analysis
Total Claims: 25
Claim 1
Independent Claim
155 words
A connector component for receiving at least one conductive terminal, said component comprising: an insert portion, said insert portion having at least one passage for receiving a terminal, said inert portion further having a resilient finger extending over said passage for contacting the terminal; a shoulder for abutting against a portion of the terminal for preventing removal of the terminal from said passage, said shoulder being formed in said passage on a surface opposite to said resilient finger so that the terminal is retained against said shoulder by said finger; and a housing portion having a cavity for receiving said insert, said housing portion including a ramped locking area within said cavity, whereby, when said insert portion is inserted into said housing portion, said ramped locking area prevents said finger from flexing away from the terminal, thereby retaining the terminal in contact with said shoulder so that the terminal is securely retained within said passage.
Claim 2
Dependent Claim
155 words
A connector component for receiving at least one conductive terminal, said component comprising: an insert portion, said insert portion having at least one passage for receiving a terminal, said inert portion further having a resilient finger extending over said passage for contacting the terminal; a shoulder for abutting against a portion of the terminal for preventing removal of the terminal from said passage, said shoulder being formed in said passage on a surface opposite to said resilient finger so that the terminal is retained against said shoulder by said finger; and a housing portion having a cavity for receiving said insert, said housing portion including a ramped locking area within said cavity, whereby, when said insert portion is inserted into said housing portion, said ramped locking area prevents said finger from flexing away from the terminal, thereby retaining the terminal in contact with said shoulder so that the terminal is securely retained within said passage.
Claim 3
Independent Claim
171 words
A method of searching for functional defects in a description of a circuit with at least a controller capable of tensioning between a plurality of states, the method comprising: simulating the functional behavior of said circuit in response to a first test vector, wherein the simulation has a current state, prior to said act of simulating; automatically restoring the simulation after said simulating act to said current state, without causing the simulation to pass through a reset state, wherein said reset state being a state of the simulation in response to a simulated reset signal; determining next states including a plurality of non-simulated states that can be reached from the current state; simulating the functional behavior of said circuit in response to a second test vector, after said act of automatically restoring; and generating descriptions of additional circuits that monitor portions of the circuit that are under verification, and during simulation each additional circuit is coupled to an instance of an arrangement of circuit elements associated with a known defective behavior.
Claim 4
Independent Claim
171 words
A method of searching for functional defects in a description of a circuit with at least a controller capable of tensioning between a plurality of states, the method comprising: simulating the functional behavior of said circuit in response to a first test vector, wherein the simulation has a current state, prior to said act of simulating; automatically restoring the simulation after said simulating act to said current state, without causing the simulation to pass through a reset state, wherein said reset state being a state of the simulation in response to a simulated reset signal; determining next states including a plurality of non-simulated states that can be reached from the current state; simulating the functional behavior of said circuit in response to a second test vector, after said act of automatically restoring; and generating descriptions of additional circuits that monitor portions of the circuit that are under verification, and during simulation each additional circuit is coupled to an instance of an arrangement of circuit elements associated with a known defective behavior.
Claim 5
Dependent Claim
31 words
The component of claim 1 wherein said ramped locking area forces said finger tightly against said terminal, thereby forcing said terminal tightly against said shoulder and said surface of said passage.
Claim 6
Independent Claim
135 words
A method of simulating a circuit description, the method comprising: performing a first simulation for finding defects of said circuit description in response to a first test vector, wherein said circuit description has at least a controller capable of transitioning between a plurality of states and a current state prior to said first simulation; automatically restoring said first simulation to said current state after said first simulation, without passing through a reset state, wherein said reset state is a simulated state determined by a simulated reset signal; determining next states including a plurality of non-simulated states that are reachable from the current state; and performing a second simulation of said circuit description in response to a second test vector, after said act of automatically restoring said first simulation, thereby facilitating a faster method of simulation.
Claim 7
Independent Claim
135 words
A method of simulating a circuit description, the method comprising: performing a first simulation for finding defects of said circuit description in response to a first test vector, wherein said circuit description has at least a controller capable of transitioning between a plurality of states and a current state prior to said first simulation; automatically restoring said first simulation to said current state after said first simulation, without passing through a reset state, wherein said reset state is a simulated state determined by a simulated reset signal; determining next states including a plurality of non-simulated states that are reachable from the current state; and performing a second simulation of said circuit description in response to a second test vector, after said act of automatically restoring said first simulation, thereby facilitating a faster method of simulation.
Claim 8
Dependent Claim
68 words
The method of claim 4 , wherein said circuit description includes at least a first controller capable of performing a plurality of first state transitions and a second controller capable of performing a plurality of second state transitions, the method further comprising automatically enumerating for said first simulation and for said second simulation the number of times said first state transitions and said second state transitions occur simultaneously.
Claim 9
Dependent Claim
38 words
The method of claim 4 further comprising automatically applying a predetermined rule to identify said second test vector to transition from the current state to the next state, wherein the next state is a simulated or non-simulated state.
Claim 10
Dependent Claim
49 words
The method of claim 4 further comprising: automatically enumerating said first state transition and said second state transition; and automatically applying a predetermined rule to identify said second test vector, wherein an input to said predetermined rule is at least one of said first and said second state transitions.
Claim 11
Dependent Claim
95 words
The method of claim 4 , wherein said circuit description includes at least a first controller capable of performing a plurality of first state transitions and a second controller capable of performing a plurality of second state transitions, the method further comprising: automatically enumerating for each of said simulating acts, the number of said first state transitions and said second state transitions occurring simultaneously; and automatically applying a predetermined rule to identify said second test vectors, wherein an input to said predetermined rule is at least one of said first and said second state transitions.
Claim 12
Dependent Claim
62 words
The component of claim 8 wherein said housing further includes a top wall, a bottom wall and a pair of side walls for forming said cavity, and a transverse step formed in at least one of said top wall or said bottom wall, said transverse step being positioned for contacting said finger if the terminal is not properly seated within said passage.
Claim 13
Dependent Claim
42 words
The component of claim 9 wherein at least one of said top wall or bottom wall includes a ramped locking area for preventing movement of said finger away from the terminal following complete insertion of said insert portion into said housing portion.
Claim 14
Dependent Claim
33 words
The component of claim 10 wherein said ramped locking area forces said finger more tightly against said terminal, thereby forcing said terminal more tightly against said shoulder and said surface of said passage.
Claim 15
Dependent Claim
66 words
The component of claim 8 further including a planar surface which forms said surface of said passage opposed to said finger, and further wherein there are a plurality of said passages, each said passage being formed at least in part by a plurality of generally parallel spaced partitions disposed perpendicularly to said planar surface, each said passage having one of said fingers extending over said passage.
Claim 16
Dependent Claim
46 words
The component of claim 8 wherein said insert portion includes a latch portal located on said main body, said latch portal being configured for receiving a latch arm on said housing portion for latching said insert portion to said housing portion in the fully locked position.
Claim 17
Dependent Claim
28 words
The component of claim 13 wherein said latch portal further includes a pre-lock aperture for latching said insert portion in an intermediate pre-lock configuration within said housing portion.
Claim 18
Independent Claim
112 words
A method of simulating a circuit description, the method comprising: performing inside a computer a first simulation of said circuit description in response to a first test vector; automatically restoring said first simulation to said current state after said first simulation, without passing through a reset state, wherein said reset state is a simulated state determined by a simulated reset signal; determining inside a computer next states including a plurality of non-simulated states that are reachable from the current state; and performing a second simulation of said circuit description in response to a second test vector, after said act of automatically restoring said first simulation, thereby facilitating a faster method of simulation.
Claim 19
Independent Claim
112 words
A method of simulating a circuit description, the method comprising: performing inside a computer a first simulation of said circuit description in response to a first test vector; automatically restoring said first simulation to said current state after said first simulation, without passing through a reset state, wherein said reset state is a simulated state determined by a simulated reset signal; determining inside a computer next states including a plurality of non-simulated states that are reachable from the current state; and performing a second simulation of said circuit description in response to a second test vector, after said act of automatically restoring said first simulation, thereby facilitating a faster method of simulation.
Claim 20
Dependent Claim
57 words
The combination of claim 15 further including a planar surface extending from said main body to said distal edge and which forms said surfaces of said passages opposite to said fingers, and further wherein each said passage is formed at least in part by a plurality of generally parallel spaced partitions disposed perpendicularly to said planar surface.
Claim 21
Dependent Claim
52 words
The combination of claim 15 wherein said insert portion includes a latch portal located on said main body, said latch portal being configured for receiving a latch arm located on said housing portion for latching said insert portion to said housing portion when said insert portion is fully inserted into said cavity.
Claim 22
Independent Claim
77 words
A method of simulating a circuit description, the method comprising: performing inside a computer a first simulation of said circuit description in response to a first test vector; automatically restoring said first simulation to a current state after said first simulation, without passing through a reset state, wherein said reset state is a simulated state determined by a simulated reset signal; and performing a second simulation from said current state, thereby facilitating a aster method of simulation.
Claim 23
Independent Claim
77 words
A method of simulating a circuit description, the method comprising: performing inside a computer a first simulation of said circuit description in response to a first test vector; automatically restoring said first simulation to a current state after said first simulation, without passing through a reset state, wherein said reset state is a simulated state determined by a simulated reset signal; and performing a second simulation from said current state, thereby facilitating a aster method of simulation.
Claim 24
Dependent Claim
60 words
The combination of claim 15 wherein said housing portion includes an upper wall, a lower wall, and a pair of side walls, with a step extending transversely between said sidewalls on each of said upper and lower walls for contacting said fingers if one or more of said terminals are not properly seated in one or more of said passages.
Claim 25
Dependent Claim
33 words
The combination of claim 15 wherein said ramped locking area forces said fingers more tightly against said terminals, thereby forcing said terminals more tightly against said shoulders and said surfaces of said passages.