Modifying testing tools to test netlists based on singular independent signals
AssigneeInternational Business Machines Corporation
InventorsEREZ BARAK, SHLOMIT KOYFMAN, SHIRI MORAN, IDO ROZENBERG, OSHER YIFRACH
Life of this patent
Estimating the term…
Abstract
Examples of techniques for modifying testing tools are described herein. An example computer-implemented method includes receiving, via a processor, a netlist comprising a complex coverage event that depends on a singular independent signal. The method includes detecting, via the processor, that complex coverage event can be separated into the singular independent signal and a logic state based on a structural logic analysis. The method also includes modifying, via the processor, a testing tool to test the netlist based on the singular independent signal.
Claims20
A system, comprising a processor to:
- receive a netlist comprising a complex coverage event that depends on at least one singular independent signal;
- detect that the complex coverage event can be separated into the singular independent signal and a logic state based on a structural logic analysis;
- and
- modify a testing tool to test the netlist based on the singular independent signal.
A computer-implemented method, comprising:
- receiving, via a processor, a netlist comprising a complex coverage event that depends on a singular independent signal;
- detecting, via the processor, that complex coverage event can be separated into the singular independent signal and a logic state based on a structural logic analysis;
- and
- modifying, via the processor, a testing tool to test the netlist based on the singular independent signal.
A computer program product for modifying testing tools, the computer program product comprising a computer-readable storage medium having program code embodied therewith, wherein the computer readable storage medium is not a transitory signal per se, the program code executable by a processor to cause the processor to:
- receive a netlist comprising a complex coverage event that depends on a singular independent signal;
- detect that complex coverage event can be separated into the singular independent signal and a logic state based on a structural logic analysis;
- and
- modify a testing tool to test the netlist based on the singular independent signal.
Dependencies are inferred from the claim text.