This application relates to a method for generating a timing path software monitor for identifying a critical timing path in hardware devices coupled between components.
Logic designers manually generate test code that exercise critical timing paths of the electronic hardware, for speed characterization of the electronic hardware. The test code is generally handwritten based on a gate-level static timing report associated with the electronic hardware. The logic designer attempts to pick instructions, and, if necessary, operands that they believe will exercise the portions of the electronic hardware with critical timing paths. Thereafter, the test code is executed on a hardware simulation tool to verify the timing path was exercised. This trial-by-error method requires numerous iterations to identify a single critical timing path, and requires extensive visual inspection to determine if the critical timing path is exercised.
Accordingly, the inventors herein have recognized a need for automatically generating timing path software monitors that can identify test cases that exercise critical timing paths of electronic hardware.
A method for generating a timing path software monitor for identifying a critical timing path in hardware devices coupled between first and second components in accordance with an exemplary embodiment is provided. The method includes generating a static timing report associated with the hardware devices. The static timing report has names of the hardware devices and wire names associated with wires coupled to the hardware devices. The method further includes automatically generating the timing path software monitor based on the static timing report that monitors binary values associated with the wire names at a first clock cycle and a transition of binary values associated with the wire names during a second clock cycle after the first clock cycle. The timing path software monitor indicates a critical timing path is identified when the transition of one of the binary values received by the second component occurs during the second clock cycle.
Referring to
The computer 10 includes a central processing unit (CPU) 12, a read-only memory (ROM) 13, a volatile memory such as a random access memory (RAM) 14, and a hard drive 16. The CPU 12 operably communicates with the ROM 13, the RAM 14, and the hard-drive 16. The computer readable media including ROM 13 and RAM 14 may be implemented using any of a number of known memory devices such as PROMs, EPROMs, EEPROMS, flash memory or any other electric, magnetic, optical or combination memory device capable of storing data, some of which represent executable instructions used by the CPU 12.
Referring to
Referring to
“func_inv/A” corresponds to an input of the inverter 54;
“func_inv/Z” corresponds to an output of the inverter 54;
“wireA” corresponds to an output wire between the register 52 and the inverter 54;
“func_buf/A” corresponds to an input of the buffer 56;
“func_buf/Z” corresponds to an output of the buffer 56;
“wireB” corresponds to a wire between the inverter 54 and the buffer 56;
“func_and/A” corresponds to an input of the logical AND gate 58;
“func_and/Z” corresponds to an output of the logical AND gate 58;
“wireC” corresponds to a wire between the buffer 56 and the logical AND gate 58;
“wireD” corresponds to a wire between the logical AND gate 58 and the register 60;
“R” corresponds to a rising binary value from a first clock cycle to a second clock cycle;
“F” corresponds to a falling binary value from the first clock cycle to the second clock cycle.
Referring to
Test cases 38 comprise a random or a deterministic grouping of binary input values that are stored in a memory. The test cases 38 are utilized to stimulate hardware devices in a functional model of an electronic circuit, such as a functional model of the circuit 50 for example.
Referring to
The operating system 30 is provided to assist in executing commands generated by the hardware simulation tool 36, the critical path software monitor generation tool 34, and the timing software tool 32.
Referring to
At step 80, the timing software tool 32 generates a static timing report 70 associated with the hardware devices coupled between registers 52, 60. The static timing report 70 has names of the hardware devices and wire names associated with wires coupled to the hardware devices.
At step 82, the timing path software monitor generation tool 34 automatically generates the timing path software monitor 75 based on the static timing report 70 that monitors binary values associated with the wire names at a first clock cycle and a transition of binary values associated with the wire names during a second clock cycle after the first clock cycle. The timing path software monitor 75 indicates a critical timing path is exercised when the transition of one of the binary values received by the second register occurs during the second clock cycle.
At step 84, the hardware simulation tool 36 inputs a first binary value into the register 52 during the first clock cycle, provided by a test case.
At step 85, the timing path software monitor 75 determines that the predetermined conditions defined for the first clock cycle and the second clock cycle are satisfied.
At step 86, the hardware simulation tool 36 sets a binary value at an output of the register 60 to an invalid binary value indicative of a timing error, prior to propagation of the binary value to at least one observable hardware device in a third clock cycle.
At step 88, the hardware simulation tool 36 propagates the invalid binary value associated with the output of the register 60 to the at least one observable hardware device.
At step 90, the hardware simulation tool 36 stores the test case utilized to generate the first binary value in a file when the observable hardware device outputs an invalid output value based on the invalid binary value. After step 90, the method is exited.
The method for generating a timing path software monitor for identifying a critical timing path in hardware devices coupled between a pair of components provides a substantial advantage over other methods. In particular, the method automatically generates the timing path software monitor from a static timing report associated with the hardware devices. As a result, a substantial time savings in identifying critical paths in electronic circuitry is obtained.
While the invention is described with reference to an exemplary embodiment, it will be understood by those skilled in the art that various changes may be made and equivalence may be substituted for elements thereof without departing from the scope of the invention. In addition, many modifications may be made to the teachings of the invention to adapt to a particular situation without departing from the scope thereof. Therefore, it is intended that the invention not be limited to the embodiment disclosed for carrying out this invention, but that the invention includes all embodiments falling within the scope of the intended claims. Moreover, the use of the term's first, second, etc. does not denote any order of importance, but rather the term's first, second, etc. are us are used to distinguish one element from another.
Number | Name | Date | Kind |
---|---|---|---|
5872717 | Yu et al. | Feb 1999 | A |
6131080 | Raimi et al. | Oct 2000 | A |
6181320 | Fredrickson | Jan 2001 | B1 |
6313622 | Seki et al. | Nov 2001 | B1 |
6414527 | Seno et al. | Jul 2002 | B1 |
6553549 | Gowni et al. | Apr 2003 | B1 |
6604227 | Foltin et al. | Aug 2003 | B1 |
6654938 | Kosugi | Nov 2003 | B2 |
6745376 | Fredrickson | Jun 2004 | B2 |
6847252 | Ono et al. | Jan 2005 | B1 |
6920625 | Gass | Jul 2005 | B2 |
7231565 | Lin | Jun 2007 | B2 |
7315802 | Jenkins, IV | Jan 2008 | B1 |
20070011543 | Yoshimura et al. | Jan 2007 | A1 |
20070016833 | Lin | Jan 2007 | A1 |
Number | Date | Country |
---|---|---|
2003167939 | Jun 2003 | JP |
Number | Date | Country | |
---|---|---|---|
20080077895 A1 | Mar 2008 | US |