US20140019924A1 - Biometric markers in a debugging environment - Google Patents
Biometric markers in a debugging environment Download PDFInfo
- Publication number
- US20140019924A1 US20140019924A1 US13/940,082 US201313940082A US2014019924A1 US 20140019924 A1 US20140019924 A1 US 20140019924A1 US 201313940082 A US201313940082 A US 201313940082A US 2014019924 A1 US2014019924 A1 US 2014019924A1
- Authority
- US
- United States
- Prior art keywords
- debug
- value
- simulated output
- marker
- circuit design
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
- 238000013461 design Methods 0.000 claims abstract description 123
- 239000003550 marker Substances 0.000 claims abstract description 72
- 230000001944 accentuation Effects 0.000 claims abstract description 32
- 238000012360 testing method Methods 0.000 claims description 73
- 238000004088 simulation Methods 0.000 claims description 55
- 238000000034 method Methods 0.000 claims description 33
- 238000012545 processing Methods 0.000 claims description 17
- 230000001360 synchronised effect Effects 0.000 claims description 5
- 230000004075 alteration Effects 0.000 claims 1
- 230000015654 memory Effects 0.000 description 37
- 238000012942 design verification Methods 0.000 description 24
- 238000012795 verification Methods 0.000 description 17
- 230000008569 process Effects 0.000 description 13
- 230000004044 response Effects 0.000 description 12
- 238000003860 storage Methods 0.000 description 12
- 238000004891 communication Methods 0.000 description 9
- 238000004513 sizing Methods 0.000 description 8
- 238000012552 review Methods 0.000 description 7
- 238000013500 data storage Methods 0.000 description 6
- 238000004519 manufacturing process Methods 0.000 description 5
- 230000007704 transition Effects 0.000 description 5
- 238000004458 analytical method Methods 0.000 description 4
- 238000004590 computer program Methods 0.000 description 4
- 230000007547 defect Effects 0.000 description 4
- 238000010586 diagram Methods 0.000 description 3
- 230000006870 function Effects 0.000 description 3
- 230000007246 mechanism Effects 0.000 description 3
- 230000003287 optical effect Effects 0.000 description 3
- 230000002195 synergetic effect Effects 0.000 description 3
- 238000012546 transfer Methods 0.000 description 3
- 230000005540 biological transmission Effects 0.000 description 2
- 230000004913 activation Effects 0.000 description 1
- 230000008901 benefit Effects 0.000 description 1
- 230000015572 biosynthetic process Effects 0.000 description 1
- 238000004364 calculation method Methods 0.000 description 1
- 239000003990 capacitor Substances 0.000 description 1
- 238000010276 construction Methods 0.000 description 1
- 230000001419 dependent effect Effects 0.000 description 1
- 238000005516 engineering process Methods 0.000 description 1
- 238000007667 floating Methods 0.000 description 1
- 230000000977 initiatory effect Effects 0.000 description 1
- 239000000463 material Substances 0.000 description 1
- 238000011022 operating instruction Methods 0.000 description 1
- 230000005855 radiation Effects 0.000 description 1
- 239000004065 semiconductor Substances 0.000 description 1
- 239000007787 solid Substances 0.000 description 1
Images
Classifications
-
- G06F17/5045—
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design verification, e.g. functional simulation or model checking
- G06F30/3323—Design verification, e.g. functional simulation or model checking using formal methods, e.g. equivalence checking or property checking
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design verification, e.g. functional simulation or model checking
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design verification, e.g. functional simulation or model checking
- G06F30/3308—Design verification, e.g. functional simulation or model checking using simulation
Definitions
- This application is generally related to electronic design automation and, more specifically, to biometric markers in a debugging environment
- Microdevices such as integrated microcircuits and microelectromechanical systems (MEMS) are used in a variety of products, from automobiles to microwaves to personal computers.
- Designing and fabricating microdevices typically involves many steps, known as a “design flow.” The particular steps of a design flow often are dependent upon the type of microcircuit, its complexity, the design team, and the microdevice fabricator or foundry that will manufacture the microcircuit.
- software and hardware “tools” verify the design at various stages of the design flow by running software simulators and/or hardware emulators, and errors in the design are corrected or the design is otherwise improved.
- the specification for a new circuit is transformed into a logical design, sometimes referred to as a register transfer level (RTL) description of the circuit.
- RTL register transfer level
- the logical design typically employs a Hardware Design Language (HDL), such as the Very high speed integrated circuit Hardware Design Language (VHDL).
- HDL Hardware Design Language
- VHDL Very high speed integrated circuit Hardware Design Language
- a designer will also implement a place-and-route process to determine the placement of the various portions of the circuit, along with an initial routing of interconnections between those portions.
- the logic of the circuit is then analyzed, to confirm that it will accurately perform the functions desired for the circuit. This analysis is sometimes referred to as “functional verification.”
- the device design which is typically in the form of a schematic or netlist, describes the specific electronic devices, such as transistors, resistors, and capacitors, which will be used in the circuit, along with their interconnections.
- This device design generally corresponds to the level of representation displayed in conventional circuit diagrams. Preliminary timing estimates for portions of the circuit may be made at this stage, using an assumed characteristic speed for each device.
- the relationships between the electronic devices are analyzed, to confirm that the circuit described by the device design will correctly perform the desired functions. This analysis is sometimes referred to as “formal verification.”
- the design can be again transformed, this time into a physical design that describes specific geometric elements.
- This type of design often is referred to as a “layout” design.
- the geometric elements which typically are polygons, define the shapes that will be created in various materials to manufacture the circuit.
- a designer will select groups of geometric elements representing circuit device components, e.g., contacts, gates, etc., and place them in a design area. These groups of geometric elements may be custom designed, selected from a library of previously-created designs, or some combination of both.
- geometric elements representing connection lines then are then placed between these geometric elements according to the predetermined route. These lines will form the wiring used to interconnect the electronic devices.
- the layout design may be analyzed to confirm that it accurately represents the circuit devices and their relationships as described in the device design.
- the layout design also may be analyzed to confirm that it complies with various design requirements, such as minimum spacings between geometric elements.
- the layout design may be modified to include the use of redundant geometric elements or the addition of corrective features to various geometric elements, to counteract limitations in the manufacturing process, etc.
- the design flow process may include one or more resolution enhancement technique (RET) processes, that modify the layout design data to improve the usable resolution of the reticle or mask created from the design in a photolithographic manufacturing process.
- RET resolution enhancement technique
- the layout design After the layout design has been finalized, it is converted into a format that can be employed by a mask or reticle writing tool to create a mask or reticle for use in a photolithographic manufacturing process.
- the written masks or reticles then can be used in a photolithographic process to expose selected areas of a wafer to light or other radiation in order to produce the desired integrated microdevice structures on the wafer.
- this type of analysis begins with a circuit design coded at a register transfer level (RTL), which can be simulated by a design verification tool.
- RTL register transfer level
- a designer for example, utilizing the design verification tool, can generate a test bench that, when input to the simulated circuit design, can allow the design verification tool to analyze the functionality of the simulated circuit design.
- the designer can attempt to debug the circuit design, for example, to determine which of the gates in the circuit design is incorrectly configured, resulting in the generation of illegal states or transitions.
- the design verification tool can record signal states and transitions of the circuit design, often called waveform data, which the designer can review in an attempt to identify a “bug” in the circuit design.
- the designer typically can utilize a debug tool to review the recorded waveforms, often alongside a source code of the circuit design, in an attempt to locate the illegal states or transitions.
- the designer can recursively review the recorded waveforms to identify the “bug” in the circuit design. For example, the designer can review input signals to the register for one or more previous clock cycles to determine when and how the incorrect value arrived at the register.
- a debug tool can prompt display of at least a portion of a simulated output for a circuit design in a debug window, identify a marker corresponding to a value in the simulated output has been specified for a debug environment, and prompt accentuation of one or more occurrences of the value in the debug window relative to other values in the simulated output based, at least in part, on the marker specified for the debug environment.
- FIGS. 1 and 2 illustrate an example of a computer system of the type that may be used to implement various embodiments of the invention.
- FIG. 3 illustrates an example system including a design verification tool and a debug tool that may be implemented according to various embodiments of the invention.
- FIG. 4 illustrates a flowchart showing an example implementation of marker-based value accentuation according to various examples of the invention.
- FIG. 5 illustrates a flowchart showing an example implementation of display of waveform data using marker comparison and selective value accentuation according to various examples of the invention.
- FIGS. 6A and 6B illustrate an example waveform display window 601 according to various embodiments of the invention.
- FIG. 7 illustrates an example circuit design display window with marker-based value accentuation according to various embodiments of the invention.
- FIG. 8 illustrates an example test bench source display window with marker-based value accentuation according to various embodiments of the invention.
- the computer network 101 includes a master computer 103 .
- the master computer 103 is a multi-processor computer that includes a plurality of input and output devices 105 and a memory 107 .
- the input and output devices 105 may include any device for receiving input data from or providing output data to a user.
- the input devices may include, for example, a keyboard, microphone, scanner or pointing device for receiving input from a user.
- the output devices may then include a display monitor, speaker, printer or tactile feedback device.
- the memory 107 may similarly be implemented using any combination of computer readable media that can be accessed by the master computer 103 .
- the computer readable media may include, for example, microcircuit memory devices such as read-write memory (RAM), read-only memory (ROM), electronically erasable and programmable read-only memory (EEPROM) or flash memory microcircuit devices, CD-ROM disks, digital video disks (DVD), or other optical storage devices.
- the computer readable media may also include magnetic cassettes, magnetic tapes, magnetic disks or other magnetic storage devices, punched media, holographic storage devices, or any other medium that can be used to store desired information.
- the master computer 103 runs a software application for performing one or more operations according to various examples of the invention.
- the memory 107 stores software instructions 109 A that, when executed, will implement a software application for performing one or more operations.
- the memory 107 also stores data 109 B to be used with the software application.
- the data 109 B contains process data that the software application uses to perform the operations, at least some of which may be parallel.
- the master computer 103 also includes a plurality of processor units 111 and an interface device 113 .
- the processor units 111 may be any type of processor device that can be programmed to execute the software instructions 109 A, but will conventionally be a microprocessor device.
- one or more of the processor units 111 may be a commercially generic programmable microprocessor, such as Intel® Pentium® or XeonTM microprocessors, Advanced Micro Devices AthlonTM microprocessors or Motorola 68K/Coldfire® microprocessors.
- one or more of the processor units 111 may be a custom-manufactured processor, such as a microprocessor designed to optimally perform specific types of mathematical operations.
- the interface device 113 , the processor units 111 , the memory 107 and the input/output devices 105 are connected together by a bus 115 .
- the master computing device 103 may employ one or more processing units 111 having more than one processor core.
- FIG. 2 illustrates an example of a multi-core processor unit 111 that may be employed with various embodiments of the invention.
- the processor unit 111 includes a plurality of processor cores 201 .
- Each processor core 201 includes a computing engine 203 and a memory cache 205 .
- a computing engine contains logic devices for performing various computing functions, such as fetching software instructions and then performing the actions specified in the fetched instructions.
- Each computing engine 203 may then use its corresponding memory cache 205 to quickly store and retrieve data and/or instructions for execution.
- Each processor core 201 is connected to an interconnect 207 .
- the particular construction of the interconnect 207 may vary depending upon the architecture of the processor unit 201 .
- the interconnect 207 may be implemented as an interconnect bus.
- the interconnect 207 may be implemented as a system request interface device.
- the processor cores 201 communicate through the interconnect 207 with an input/output interface 209 and a memory controller 211 .
- the input/output interface 209 provides a communication interface between the processor unit 201 and the bus 115 .
- the memory controller 211 controls the exchange of information between the processor unit 201 and the system memory 107 .
- the processor units 201 may include additional components, such as a high-level cache memory accessible shared by the processor cores 201 .
- FIG. 2 shows one illustration of a processor unit 201 that may be employed by some embodiments of the invention, it should be appreciated that this illustration is representative only, and is not intended to be limiting.
- some embodiments of the invention may employ a master computer 103 with one or more Cell processors.
- the Cell processor employs multiple input/output interfaces 209 and multiple memory controllers 211 .
- the Cell processor has nine different processor cores 201 of different types. More particularly, it has six or more synergistic processor elements (SPEs) and a power processor element (PPE).
- SPEs synergistic processor elements
- PPE power processor element
- Each synergistic processor element has a vector-type computing engine 203 with 428 ⁇ 428 bit registers, four single-precision floating point computational units, four integer computational units, and a 556 KB local store memory that stores both instructions and data.
- the power processor element then controls that tasks performed by the synergistic processor elements. Because of its configuration, the Cell processor can perform some mathematical operations, such as the calculation of fast Fourier transforms (FFTs), at substantially higher speeds than many conventional processors.
- FFTs fast Fourier transforms
- a multi-core processor unit 111 can be used in lieu of multiple, separate processor units 111 .
- an alternate implementation of the invention may employ a single processor unit 111 having six cores, two multi-core processor units each having three cores, a multi-core processor unit 111 with four cores together with two separate single-core processor units 111 , etc.
- the interface device 113 allows the master computer 103 to communicate with the servant computers 117 A, 117 B, 117 C . . . 117 x through a communication interface.
- the communication interface may be any suitable type of interface including, for example, a conventional wired network connection or an optically transmissive wired network connection.
- the communication interface may also be a wireless connection, such as a wireless optical connection, a radio frequency connection, an infrared connection, or even an acoustic connection.
- the interface device 113 translates data and control signals from the master computer 103 and each of the servant computers 117 into network messages according to one or more communication protocols, such as the transmission control protocol (TCP), the user datagram protocol (UDP), and the Internet protocol (IP).
- TCP transmission control protocol
- UDP user datagram protocol
- IP Internet protocol
- Each servant computer 117 may include a memory 119 , a processor unit 121 , an interface device 123 , and, optionally, one more input/output devices 125 connected together by a system bus 127 .
- the optional input/output devices 125 for the servant computers 117 may include any conventional input or output devices, such as keyboards, pointing devices, microphones, display monitors, speakers, and printers.
- the processor units 121 may be any type of conventional or custom-manufactured programmable processor device.
- one or more of the processor units 121 may be commercially generic programmable microprocessors, such as Intel® Pentium® or XeonTMmicroprocessors, Advanced Micro Devices AthlonTM microprocessors or Motorola 68K/Coldfire® microprocessors. Alternately, one or more of the processor units 121 may be custom-manufactured processors, such as microprocessors designed to optimally perform specific types of mathematical operations. Still further, one or more of the processor units 121 may have more than one core, as described with reference to FIG. 2 above. For example, with some implementations of the invention, one or more of the processor units 121 may be a Cell processor.
- the memory 119 then may be implemented using any combination of the computer readable media discussed above. Like the interface device 113 , the interface devices 123 allow the servant computers 117 to communicate with the master computer 103 over the communication interface.
- the master computer 103 is a multi-processor unit computer with multiple processor units 111 , while each servant computer 117 has a single processor unit 121 . It should be noted, however, that alternate implementations of the invention may employ a master computer having single processor unit 111 . Further, one or more of the servant computers 117 may have multiple processor units 121 , depending upon their intended use, as previously discussed. Also, while only a single interface device 113 or 123 is illustrated for both the master computer 103 and the servant computers, it should be noted that, with alternate embodiments of the invention, either the computer 103 , one or more of the servant computers 117 , or some combination of both may use two or more different interface devices 113 or 123 for communicating over multiple communication interfaces.
- the master computer 103 may be connected to one or more external data storage devices. These external data storage devices may be implemented using any combination of computer readable media that can be accessed by the master computer 103 .
- the computer readable media may include, for example, microcircuit memory devices such as read-write memory (RAM), read-only memory (ROM), electronically erasable and programmable read-only memory (EEPROM) or flash memory microcircuit devices, CD-ROM disks, digital video disks (DVD), or other optical storage devices.
- the computer readable media may also include magnetic cassettes, magnetic tapes, magnetic disks or other magnetic storage devices, punched media, holographic storage devices, or any other medium that can be used to store desired information.
- one or more of the servant computers 117 may alternately or additionally be connected to one or more external data storage devices.
- these external data storage devices will include data storage devices that also are connected to the master computer 103 , but they also may be different from any data storage devices accessible by the master computer 103 .
- FIG. 3 illustrates an example system including a design verification tool 301 and a debug tool 311 that may be implemented according to various embodiments of the invention.
- FIG. 3 shows the design verification tool 301 separate from the debug tool 311 , in some embodiments, the design verification tool 301 and the debug tool 311 can be integrated into a common tool.
- the design verification tool 301 can receive a circuit design 302 , which can describe an electronic device both in terms of an exchange of data signals between components in the electronic device, such as hardware registers, flip-flops, combinational logic, or the like, and in terms of logical operations that can be performed on the data signals in the electronic device.
- the circuit design 302 can model the electronic device at a register transfer level (RTL), for example, with code in a hardware description language (HDL), such as Verilog, Very high speed integrated circuit Hardware Design Language (VHDL), or the like.
- HDL hardware description language
- the design verification tool 301 can include a circuit simulation unit 303 to simulate the circuit design 302 based, at least in part, on a test bench 304 .
- the test bench 304 can define test stimuli, for example, clock signals, activation signals, power signals, control signals, and data signals that, when grouped, may form test bench transactions capable of prompting operation of the circuit design 302 during simulation.
- the test bench 304 can be written in an object-oriented programming language, for example, SystemVerilog or the like.
- a methodology library for example, a Universal Verification Methodology (UVM) library, an Open Verification Methodology (OVM) library, an Advanced Verification Methodology (AVM) library, a Verification Methodology Manual (VMM) library, or the like, can be utilized as a base for creating the test bench 304 and simulating the circuit design 302 .
- the design verification tool 301 can receive the test bench 304 from a source external to the design verification tool 301 , such as a user interface of the computer network 101 , another tool implemented by the computer network 101 , or the design verification tool 301 may generate the test bench 304 internally.
- the circuit simulation unit 303 can include a simulation results unit 305 to record output created by the circuit design 302 during simulation with the test bench 304 .
- the simulated output can include waveform data 308 , simulation results in other formats, or the like.
- the circuit simulation unit 303 can include a simulation log unit 306 to record operations of or messages generated by the test bench 304 during simulation into a simulation log file 309 .
- the simulation log unit 306 can utilize default logging classes in at least one of the methodology libraries to capture the operations of or messages generated by the test bench 304 during simulation and record them in the simulation log file 309 in a predefined format.
- the design verification tool 301 can include a functional verification unit 307 to compare the waveform data 308 with an expected output from the circuit design 302 in response the test bench 304 .
- the functional verification unit 307 can verify the functionality of the circuit design 302 when the waveform data 308 indicates the circuit design 302 operates as expected based on the comparison.
- the functional verification unit 307 can determine a “bug” or other defect is present in the circuit design 302 and/or in the test bench 304 .
- FIG. 3 shows the design verification tool 301 including the functional verification unit 307 , in some embodiments, the functional verification unit 307 can be located external to the design verification tool 301 .
- the functional verification unit 307 determines a “bug” or other defect is present in the circuit design 302 or in the test bench 304
- designer(s) can utilize a debug tool 311 to isolate the “bug” in the circuit design 302 and/or test bench 304 .
- the debug tool 311 can receive the circuit design 302 , the test bench 304 , the waveform data 308 , and the simulation log file 309 , for example, from the design verification tool 301 .
- the debug tool 311 can include a display unit 312 to prompt display or presentation of one or more debug windows capable of population with the waveform data 308 , test bench transactions from the simulation log file 309 , the circuit design 302 , and/or the test bench 304 .
- the display unit 312 can prompt presentation of the waveform data 308 alongside the source code of the circuit design 302 , which can allow the designer(s) to review the waveform data 308 and the circuit design 302 to isolate the “bug” identified by the functional verification unit 307 .
- the display unit 312 also can prompt presentation of the test bench transactions during the debug process, for example, to allow the designer(s) to isolate the “bug” in the test bench 304 .
- the debug tool 311 can synchronize the waveform data 308 , test bench transactions from the simulation log file 309 , the circuit design 302 , and/or the test bench 304 with each other, the display unit 312 can prompt presentation of the test bench transactions alongside and synchronized with the waveform data 308 and/or the test bench 304 in one or more debug windows. Embodiments of various debug windows will be described below in FIGS. 6A , 6 B, 7 , and 8 .
- the display unit 312 can include a biometric marker unit 313 to store one or more biometric markers 317 , for example, received from a user interface of the computer network 101 .
- the biometric markers 317 can include one or more search values, which can be utilized to match values in the waveform data 308 , test bench transactions from the simulation log file 309 , the circuit design 302 , and/or the test bench 304 .
- the biometric marker unit 313 can perform a search of the data to determine whether the data includes instances of search values in the biometric markers 317 .
- the biometric markers 317 can define search parameters utilized to determine whether the search values in the biometric markers 317 match any values in the waveform data 308 , test bench transactions from the simulation log file 309 , the circuit design 302 , and/or the test bench 304 .
- the search parameters can identify one or more representations for the search value to be matched, such as represented in decimal format, hexadecimal format, octal format, binary format, or the like.
- the search parameters could indicate that in addition the a search for a value in the same format, the biometric marker unit 313 can search for the value in one or more different formats.
- the search parameters also can identify whether to utilize regular expression matching during the search. For example, the biometric marker unit 313 can search for a value specified by the biometric marker 317 that constitutes a portion of one or more of the searched values based one the search parameters indicating to search with regular expression matching.
- the display unit 312 can include an accentuation unit 314 to prompt accentuation of values in one or more debug windows that the biometric marker unit 313 matched to search values in the biometric markers 317 .
- the accentuation unit 314 can indicate to the display unit 312 , how to accentuate the matched values, and the display unit 312 can prompt presentation of the matched values along with accentuation instructions for the matched values.
- the accentuation unit 314 can prompt presentation the matched values with an accentuation relative to other data presented in a debug window.
- the display unit 312 presents multiple debug windows, which may be temporally synchronized with each other, the accentuation unit 314 can accentuate matched values in each the multiple debug windows. This accentuation of values that the biometric marker unit 313 matched to search values in the biometric markers 317 across multiple synchronized debug windows can allow designers the ability to review and/or track the matched values in various portions of the simulation.
- the biometric markers 317 can include one or more display operations for the accentuation unit 314 and/or the display unit 312 to utilize, for example, when a search value in the biometric marker 317 matches one or more values in the waveform data 308 , test bench transactions from the simulation log file 309 , the circuit design 302 , and/or the test bench 304 .
- the matched values can be displayed with a different color, different font, different font size, different font style, different outline sizing, different outline color, added underlining, added underscoring, or any other difference visibly perceptible when compared to other values in the presented data.
- Embodiments for marker-based value accentuation will be described below in greater detail.
- FIG. 4 illustrates a flowchart showing an example implementation of marker-based value accentuation according to various examples of the invention.
- a design verification tool can simulate a circuit design with a test bench.
- the design verification tool can record output created by the circuit design during simulation with the test bench, called waveform data or simulation results.
- the design verification tool also can record operation of the test bench during simulation into a simulation log file.
- the design verification tool can utilize default logging classes in at least one of the methodology libraries to capture the operations of or messages generated by the test bench during simulation and record them in the simulation log file in a predefined format.
- the design verification tool can determine whether a simulated output for the circuit design is different than an expected output for the circuit design.
- the design verification tool can verify the functionality of the circuit design when the waveform data indicates the circuit design operates as expected.
- the design verification tool can determine a “bug” or other defect is present in the circuit design or in the test bench.
- the debug tool can prompt display the simulated output for the circuit design in a debug window, for example, in response to the determination that the “bug” or other defect is present in the circuit design or in the test bench.
- the debug tool can prompt display of test bench transactions from a simulation log file, the circuit design, and/or the test bench in the debug window.
- the debug tool can selectively prompt display of different signals in the simulated output, different test bench transactions from a simulation log file, portions of the circuit design, and/or portions of the test bench in the debug window.
- the debug tool can receive selection of a value in the simulated output, for example, from a user interface of the computer network 101 .
- the selection of the value can prompt generation of a biometric marker corresponding to the selected value.
- the debug tool can generate a biometric marker in response to the selection of the value.
- the debug tool can search the simulated output displayed in the debug window to identify the instances of the simulated output that include the selected value in the biometric marker.
- the biometric markers can define search parameters utilized to determine whether the selected value in the biometric marker matches any values in the waveform data, test bench transactions from the simulation log file, the circuit design, and/or the test bench.
- the search parameters can identify one or more representations for the selected value to be matched, such as represented in decimal format, hexadecimal format, octal format, binary format, or the like.
- the search parameters also can identify whether to utilize regular expression matching during the search.
- the debug tool can receive selection of the search parameters corresponding to the selected value in the simulated output, for example, from a user interface of the computer network 101 .
- the debug tool can accentuate one or more occurrences of the value in the display relative to other values in the simulated output. For example, the debug tool can accentuate the occurrences of the value in the display by prompting display of the values with a different color, different font, different font size, different font style, different outline sizing, different outline color, added underlining, added underscoring, or any other difference visibly perceptible when compared to other values in the display.
- the biometric marker can include one or more display operations defining a type of accentuation for the debug tool to utilize to accentuate occurrences of the value in the display. The debug tool can receive selection of the display operations corresponding to the selected value in the simulated output, for example, from a user interface of the computer network 101 .
- the debug window can have a biometric marker specified prior to display of all or at least some of the simulated output.
- the debug tool in the block 403 , can prompt display of the simulated output with value accentuation based on the biometric marker specified prior to display of all or at least some of the simulated output.
- FIG. 5 illustrates a flowchart showing an example implementation of display of waveform data using marker comparison and selective value accentuation according to various examples of the invention.
- a debug tool can identify a new value of waveform data to display.
- the new value can be a value in a test bench, a value in a simulation log, a value in a circuit design, or the like.
- the debug tool can identify the new value to display in response to input from a user interface in computer network 101 , in response to a new biometric marker being specified for the debug environment, in response selection of new data to display in the debug window, or the like.
- the debug tool can determine whether any biometric markers have been specified in the debug environment, or any particular debug window in the debug environment. When a biometric marker has not been specified for the debug window, in block 505 , the debug tool can prompt display of the new value without marker-based accentuation.
- the debug tool can compare the new value to display to the specified biometric marker.
- the biometric marker can include a value, which can be compared to the new value to display.
- the biometric marker can define search parameters utilized to determine whether the value in the biometric marker matches the new value.
- the search parameters can identify one or more representations for the value in the biometric marker, such as represented in decimal format, hexadecimal format, octal format, binary format, or the like.
- the search parameters also can identify whether to utilize regular expression matching during the comparison.
- the debug tool can determine whether the new value matches any biometric markers.
- the debug tool can utilize the comparison of the new value with the biometric markers specified in the debug environment to determine whether the new value matches one or more of the biometric markers.
- the debug tool can prompt display of the new value without marker-based accentuation.
- the debug tool can prompt display of the new value with marker-based accentuation. For example, the debug tool can accentuate the new value in the debug window by prompting display of the new value with a different color, different font, different font size, different font style, different outline sizing, different outline color, added underlining, added underscoring, or any other difference visibly perceptible when compared to other values in the display.
- the biometric marker can include one or more display operations that the debug tool can utilize to accentuate occurrences of the value in the display.
- the debug tool can determine whether all values have been displayed. When there is a new value to display, execution can return to block 501 . When all values have been displayed, execution can end.
- FIGS. 6A and 6B illustrate an example waveform display window 601 according to various embodiments of the invention.
- the waveform display window 601 can include a waveform pane 610 to include a list of waveform data 614 , which can correspond to output from a circuit design simulated with a test bench.
- the waveform pane 610 can be arranged in a row-column format, with the rows corresponding to different signal waveforms in the waveform data 614 and the columns including various attributes of the waveform data 614 .
- the waveform pane 610 can include a signal 611 column, which can indicate a particular signal waveform in the waveform data 614 .
- the waveform pane 610 can include a value 612 column, which can indicate a value of partial (leftmost) signal waveform in the waveform data 614 .
- the waveform pane 610 can include a time 613 column, which can include the waveform data 614 synchronized based on generation time during simulation of the circuit design with the test bench, also called a simulation time.
- the waveform pane 610 can include scroll bars 621 - 624 , that, when selected or moved, for example, in response to user input, can adjust which portions of the signal 611 , the value 612 , the time 613 columns are viewable in the waveform pane 610 .
- the waveform display window 601 can include a time bar 631 having listing of simulation times, and the time 613 column can include listing having a subset of the simulation times in the time bar 631 .
- the waveform pane 610 can include a timeline 616 to indicate which simulation time is presented in the time 613 column.
- the timeline 616 can be displayed vertically in the time bar 631 crossing a currently selected simulation time, and displayed vertically in the time 613 column crossing a currently selected simulation time in the time 613 column and optionally the waveform data 614 .
- the waveform display window 601 can include a menu bar 602 having various mechanisms to selectively sort, filter, organize, populate, or the like, the waveform pane 610 with the waveform data 614 .
- the menu bar 602 can also allow selection of one or more values in the waveform data 614 to mark, for example, into a biometric marker.
- the menu bar 602 can provide various options for marking values in the waveform data 614 , such as a type of accentuation to be utilized for the data, different techniques for matching the marked value to other values currently displayed in the waveform display window 601 or displayed in the future in the waveform display window 601 .
- the waveform display window 601 also can include window icons 608 , which can control sizing of the waveform display window 601 , such as enlarging, shrinking, minimizing, or the like, and closing of the waveform display window 601 .
- the waveform display window 601 in FIG. 6B is similar to the waveform display window 601 in FIG. 6A , except the waveform pane 610 in FIG. 6B includes accentuated waveform data 617 rather than waveform data 614 that was not accentuated in FIG. 6A .
- portions of waveform data having a value c017ffbc in the accentuated waveform data 617 include a different outline, which emphasizes those portions of waveform data having the value c017ffbc relative to the other values in the accentuated waveform data 617 .
- the accentuation of the portions of waveform data having the value c017ffbc can indicate that the waveform display window 601 can have a biometric marker for the value c017ffbc, that a debug tool matched the portions of waveform data having the value c017ffbc to the biometric marker, and accentuated the matched portions of the waveform data, for example, based on display parameters in the biometric marker.
- FIG. 6B shows the waveform display window 601 accentuating the portions of waveform data having the value c017ffbc with a different outline
- the portions of waveform data having the value c017ffbc can be accentuated in any number of different ways, such as with a different color, different font, different font size, different font style, different outline sizing, different outline color, added underlining, added underscoring, or any other difference visibly perceptible when compared to other portions of waveform data.
- FIG. 7 illustrates an example circuit design display window 701 with marker-based value accentuation according to various embodiments of the invention.
- the circuit design display window 701 can include a source pane 710 having a circuit design source code 711 , for example, sequenced by code line numbers 712 .
- the source pane 710 can be arranged in rows, with each row corresponding to different line in the circuit design source code 711 .
- the source pane 710 can include scroll bars 714 , that, when selected or moved, for example, in response to user input, can adjust which portions of the circuit design display window 701 are viewable in the source pane 710 .
- the source pane 710 also can include accentuated waveform data 713 , for example, in the rows corresponding to portions of the circuit design source code 711 .
- portions of waveform data having a value c017ffbc in the accentuated waveform data 713 includes an outline, which emphasizes those portions of waveform data having the value c017ffbc relative to the other values in the accentuated waveform data 713 .
- the accentuation of the portions of waveform data having the value c017ffbc can indicate that the circuit design display window 701 can have a biometric marker for the value c017ffbc, that a debug tool matched the portions of waveform data having the value c017ffbc to the biometric marker, and accentuated the matched portions of the waveform data, for example, based on display parameters in the biometric marker.
- FIG. 7 shows the circuit design display window 701 accentuating the portions of waveform data having the value c017ffbc with the outline
- the portions of waveform data having the value c017ffbc can be accentuated in any number of different ways, such as with a different color, different font, different font size, different font style, different outline sizing, different outline color, added underlining, added underscoring, or any other difference visibly perceptible when compared to other portions of waveform data.
- FIG. 8 illustrates an example test bench source display window with marker-based value accentuation according to various embodiments of the invention.
- the test bench source window 801 can include a source pane 810 , a simulation pane 820 , and a transaction pane 830 .
- the source pane 810 can include a test bench source code 811 , for example, sequenced by code line numbers 812 .
- the source pane 810 can be arranged in rows, with each row corresponding to different line in the test bench source code 811 .
- the source pane 810 can include scroll bars 814 , that, when selected or moved, for example, in response to user input, can adjust which portions of the test bench source code 811 are viewable in the source pane 810 .
- the source pane 810 also can include accentuated waveform data 813 , for example, in the rows corresponding to portions of the test bench source code 811 .
- portions of waveform data having a value c017ffbc in the accentuated waveform data 813 includes an outline, which emphasizes those portions of waveform data having the value c017ffbc relative to the other values in the accentuated waveform data 813 .
- the accentuation of the portions of waveform data having the value c017ffbc can indicate that the test bench source display window 801 can have a biometric marker for the value c017ffbc, that a debug tool matched the portions of waveform data having the value c017ffbc to the biometric marker, and accentuated the matched portions of the waveform data, for example, based on display parameters in the biometric marker.
- FIG. 8 shows the test bench source display window 801 accentuating the portions of waveform data having the value c017ffbc with the outline
- the portions of waveform data having the value c017ffbc can be accentuated in any number of different ways, such as with a different color, different font, different font size, different font style, different outline sizing, different outline color, added underlining, added underscoring, or any other difference visibly perceptible when compared to other portions of waveform data.
- the simulation pane 820 can include information regarding types of transactions 821 in a simulation log file, such as different transactions extracted from the simulation log file, for example, arranged by their corresponding transaction scope or type.
- the simulation pane 820 can be arranged in rows, with each row corresponding to different type of transaction in the simulation log file.
- the simulation pane 820 can include scroll bars 822 , which, when selected or moved, for example, in response to user input, can adjust which transaction types 821 are viewable in the simulation pane 820 .
- the transaction pane 830 can include test bench transactions 831 .
- the transaction pane 830 can be arranged in rows, with each row corresponding to different transaction extracted from the simulation log file.
- the transaction pane 830 can include tabs 834 , such as a log tab, thread tab, class tab, file tab, or the like, which can select a format for viewing the test bench transactions 831 , and for the transaction types 821 in the simulation log pane 820 .
- the transaction pane 830 can include scroll bars 832 , that, when selected or moved, for example, in response to user input, can adjust which portions of the test bench transactions 831 are viewable in the transaction pane 830 .
- the source pane 810 , the simulation pane 820 , and the transaction pane 830 can be interrelated, with a selection of a row in one pane causing corresponding portions of the other panes to automatically scroll into view and optionally be highlighted or otherwise have their presentation altered to annunciate their presence in the corresponding panes.
- a selection of a test bench transaction 831 in the transaction pane 830 can cause a transaction type 821 in the simulation pane 820 and a section of the test bench source code 811 to automatically scroll into view and optionally be highlighted or otherwise have their presentation altered to annunciate their presence.
- the test bench source display window 801 can include a menu bar 802 having various mechanisms to selectively sort, filter, organize, populate, or the like, the source pane 810 , the simulation pane 820 , and the transaction pane 830 .
- the test bench source display window 801 also can include window icons 808 , which can control sizing of the test bench source display window 801 , such as enlarging, shrinking, minimizing, or the like, and closing of the test bench source display window 801 .
- FIG. 6A-8 show display of data including waveform data, test bench transactions from a simulation log file, a circuit design source code, and a test bench source code in different display windows, this data can be presented in any number of windows or have the data included one window. Further, any additional data can be added to or any current data can be removed from any of the window or windows described above.
- the system and apparatus described above may use dedicated processor systems, micro controllers, programmable logic devices, microprocessors, or any combination thereof, to perform some or all of the operations described herein. Some of the operations described above may be implemented in software and other operations may be implemented in hardware. Any of the operations, processes, and/or methods described herein may be performed by an apparatus, a device, and/or a system substantially similar to those as described herein and with reference to the illustrated figures.
- the processing device may execute instructions or “code” stored in memory.
- the memory may store data as well.
- the processing device may include, but may not be limited to, an analog processor, a digital processor, a microprocessor, a multi-core processor, a processor array, a network processor, or the like.
- the processing device may be part of an integrated control system or system manager, or may be provided as a portable electronic device configured to interface with a networked system either locally or remotely via wireless transmission.
- the processor memory may be integrated together with the processing device, for example RAM or FLASH memory disposed within an integrated circuit microprocessor or the like.
- the memory may comprise an independent device, such as an external disk drive, a storage array, a portable FLASH key fob, or the like.
- the memory and processing device may be operatively coupled together, or in communication with each other, for example by an I/O port, a network connection, or the like, and the processing device may read a file stored on the memory.
- Associated memory may be “read only” by design (ROM) by virtue of permission settings, or not.
- Other examples of memory may include, but may not be limited to, WORM, EPROM, EEPROM, FLASH, or the like, which may be implemented in solid state semiconductor devices.
- Other memories may comprise moving parts, such as a known rotating disk drive. All such memories may be “machine-readable” and may be readable by a processing device.
- Computer-readable storage medium may include all of the foregoing types of memory, as well as new technologies of the future, as long as the memory may be capable of storing digital information in the nature of a computer program or other data, at least temporarily, and as long at the stored information may be “read” by an appropriate processing device.
- the term “computer-readable” may not be limited to the historical usage of “computer” to imply a complete mainframe, mini-computer, desktop or even laptop computer.
- “computer-readable” may comprise storage medium that may be readable by a processor, a processing device, or any computing system. Such media may be any available media that may be locally and/or remotely accessible by a computer or a processor, and may include volatile and non-volatile media, and removable and non-removable media, or any combination thereof.
- a program stored in a computer-readable storage medium may comprise a computer program product.
- a storage medium may be used as a convenient means to store or transport a computer program.
- the operations may be described as various interconnected or coupled functional blocks or diagrams. However, there may be cases where these functional blocks or diagrams may be equivalently aggregated into a single logic device, program or operation with unclear boundaries.
Landscapes
- Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Debugging And Monitoring (AREA)
Abstract
Description
- This application claims benefit of and priority to U.S. Provisional Patent Application No. 61/670,511, filed Jul. 11, 2012, which is incorporated by reference herein.
- This application is generally related to electronic design automation and, more specifically, to biometric markers in a debugging environment
- Microdevices, such as integrated microcircuits and microelectromechanical systems (MEMS), are used in a variety of products, from automobiles to microwaves to personal computers. Designing and fabricating microdevices typically involves many steps, known as a “design flow.” The particular steps of a design flow often are dependent upon the type of microcircuit, its complexity, the design team, and the microdevice fabricator or foundry that will manufacture the microcircuit. Typically, software and hardware “tools” verify the design at various stages of the design flow by running software simulators and/or hardware emulators, and errors in the design are corrected or the design is otherwise improved.
- Several steps are common to most design flows for integrated microcircuits. Initially, the specification for a new circuit is transformed into a logical design, sometimes referred to as a register transfer level (RTL) description of the circuit. With this logical design, the circuit can be described in terms of both the exchange of signals between hardware registers and the logical operations that can be performed on those signals. The logical design typically employs a Hardware Design Language (HDL), such as the Very high speed integrated circuit Hardware Design Language (VHDL). As part of the creation of a logical design, a designer will also implement a place-and-route process to determine the placement of the various portions of the circuit, along with an initial routing of interconnections between those portions. The logic of the circuit is then analyzed, to confirm that it will accurately perform the functions desired for the circuit. This analysis is sometimes referred to as “functional verification.”
- After the accuracy of the logical design is confirmed, it is converted into a device design by synthesis software. The device design, which is typically in the form of a schematic or netlist, describes the specific electronic devices, such as transistors, resistors, and capacitors, which will be used in the circuit, along with their interconnections. This device design generally corresponds to the level of representation displayed in conventional circuit diagrams. Preliminary timing estimates for portions of the circuit may be made at this stage, using an assumed characteristic speed for each device. In addition, the relationships between the electronic devices are analyzed, to confirm that the circuit described by the device design will correctly perform the desired functions. This analysis is sometimes referred to as “formal verification.”
- Once the relationships between circuit devices have been established, the design can be again transformed, this time into a physical design that describes specific geometric elements. This type of design often is referred to as a “layout” design. The geometric elements, which typically are polygons, define the shapes that will be created in various materials to manufacture the circuit. Typically, a designer will select groups of geometric elements representing circuit device components, e.g., contacts, gates, etc., and place them in a design area. These groups of geometric elements may be custom designed, selected from a library of previously-created designs, or some combination of both. Once the groups of geometric elements representing circuit device components have been placed, geometric elements representing connection lines then are then placed between these geometric elements according to the predetermined route. These lines will form the wiring used to interconnect the electronic devices.
- Typically, a designer will perform a number of analyses on the resulting layout design data. For example, with integrated circuits, the layout design may be analyzed to confirm that it accurately represents the circuit devices and their relationships as described in the device design. The layout design also may be analyzed to confirm that it complies with various design requirements, such as minimum spacings between geometric elements. Still further, the layout design may be modified to include the use of redundant geometric elements or the addition of corrective features to various geometric elements, to counteract limitations in the manufacturing process, etc. For example, the design flow process may include one or more resolution enhancement technique (RET) processes, that modify the layout design data to improve the usable resolution of the reticle or mask created from the design in a photolithographic manufacturing process.
- After the layout design has been finalized, it is converted into a format that can be employed by a mask or reticle writing tool to create a mask or reticle for use in a photolithographic manufacturing process. The written masks or reticles then can be used in a photolithographic process to expose selected areas of a wafer to light or other radiation in order to produce the desired integrated microdevice structures on the wafer.
- Returning to “functional verification,” this type of analysis begins with a circuit design coded at a register transfer level (RTL), which can be simulated by a design verification tool. A designer, for example, utilizing the design verification tool, can generate a test bench that, when input to the simulated circuit design, can allow the design verification tool to analyze the functionality of the simulated circuit design. When the simulated circuit design operates differently than expected in response to the test bench, the designer can attempt to debug the circuit design, for example, to determine which of the gates in the circuit design is incorrectly configured, resulting in the generation of illegal states or transitions.
- The design verification tool can record signal states and transitions of the circuit design, often called waveform data, which the designer can review in an attempt to identify a “bug” in the circuit design. The designer typically can utilize a debug tool to review the recorded waveforms, often alongside a source code of the circuit design, in an attempt to locate the illegal states or transitions. Once the designer locates the illegal states or transitions, for example, by identifying an incorrect output or value stored in a register of the circuit design, the designer can recursively review the recorded waveforms to identify the “bug” in the circuit design. For example, the designer can review input signals to the register for one or more previous clock cycles to determine when and how the incorrect value arrived at the register. While this technique can allow the designer to manually re-trace the path from the incorrect value or output to the “bug” in the circuit design, the process is often tedious, requiring designers to review thousands of clock cycles worth of waveform data having, in some cases, billions of different states or transitions to identify the circuit design or test bench failures.
- This application discloses tools and mechanisms for simulating a circuit design with a test bench, performing functional verification on the simulated circuit design, and, when functional verification fails, initiating a debug process to rectify the failure discovered functional verification. In some embodiments, a debug tool can prompt display of at least a portion of a simulated output for a circuit design in a debug window, identify a marker corresponding to a value in the simulated output has been specified for a debug environment, and prompt accentuation of one or more occurrences of the value in the debug window relative to other values in the simulated output based, at least in part, on the marker specified for the debug environment.
-
FIGS. 1 and 2 illustrate an example of a computer system of the type that may be used to implement various embodiments of the invention. -
FIG. 3 illustrates an example system including a design verification tool and a debug tool that may be implemented according to various embodiments of the invention. -
FIG. 4 illustrates a flowchart showing an example implementation of marker-based value accentuation according to various examples of the invention. -
FIG. 5 illustrates a flowchart showing an example implementation of display of waveform data using marker comparison and selective value accentuation according to various examples of the invention. -
FIGS. 6A and 6B illustrate an examplewaveform display window 601 according to various embodiments of the invention. -
FIG. 7 illustrates an example circuit design display window with marker-based value accentuation according to various embodiments of the invention. -
FIG. 8 illustrates an example test bench source display window with marker-based value accentuation according to various embodiments of the invention. - The execution of various electronic design automation processes according to embodiments of the invention may be implemented using computer-executable software instructions executed by one or more programmable computing devices. Because these embodiments of the invention may be implemented using software instructions, the components and operation of a generic programmable computer system on which various embodiments of the invention may be employed will first be described. Further, because of the complexity of some electronic design automation processes and the large size of many circuit designs, various electronic design automation tools are configured to operate on a computing system capable of simultaneously running multiple processing threads. The components and operation of a computer network having a host or master computer and one or more remote or servant computers therefore will be described with reference to
FIG. 1 . This operating environment is only one example of a suitable operating environment, however, and is not intended to suggest any limitation as to the scope of use or functionality of the invention. - In
FIG. 1 , the computer network 101 includes amaster computer 103. In the illustrated example, themaster computer 103 is a multi-processor computer that includes a plurality of input andoutput devices 105 and amemory 107. The input andoutput devices 105 may include any device for receiving input data from or providing output data to a user. The input devices may include, for example, a keyboard, microphone, scanner or pointing device for receiving input from a user. The output devices may then include a display monitor, speaker, printer or tactile feedback device. These devices and their connections are well known in the art, and thus will not be discussed at length here. - The
memory 107 may similarly be implemented using any combination of computer readable media that can be accessed by themaster computer 103. The computer readable media may include, for example, microcircuit memory devices such as read-write memory (RAM), read-only memory (ROM), electronically erasable and programmable read-only memory (EEPROM) or flash memory microcircuit devices, CD-ROM disks, digital video disks (DVD), or other optical storage devices. The computer readable media may also include magnetic cassettes, magnetic tapes, magnetic disks or other magnetic storage devices, punched media, holographic storage devices, or any other medium that can be used to store desired information. - As will be discussed in detail below, the
master computer 103 runs a software application for performing one or more operations according to various examples of the invention. Accordingly, thememory 107stores software instructions 109A that, when executed, will implement a software application for performing one or more operations. Thememory 107 also storesdata 109B to be used with the software application. In the illustrated embodiment, thedata 109B contains process data that the software application uses to perform the operations, at least some of which may be parallel. - The
master computer 103 also includes a plurality ofprocessor units 111 and aninterface device 113. Theprocessor units 111 may be any type of processor device that can be programmed to execute thesoftware instructions 109A, but will conventionally be a microprocessor device. For example, one or more of theprocessor units 111 may be a commercially generic programmable microprocessor, such as Intel® Pentium® or Xeon™ microprocessors, Advanced Micro Devices Athlon™ microprocessors or Motorola 68K/Coldfire® microprocessors. Alternately or additionally, one or more of theprocessor units 111 may be a custom-manufactured processor, such as a microprocessor designed to optimally perform specific types of mathematical operations. Theinterface device 113, theprocessor units 111, thememory 107 and the input/output devices 105 are connected together by abus 115. - With some implementations of the invention, the
master computing device 103 may employ one ormore processing units 111 having more than one processor core. Accordingly,FIG. 2 illustrates an example of amulti-core processor unit 111 that may be employed with various embodiments of the invention. As seen in this figure, theprocessor unit 111 includes a plurality ofprocessor cores 201. Eachprocessor core 201 includes acomputing engine 203 and amemory cache 205. As known to those of ordinary skill in the art, a computing engine contains logic devices for performing various computing functions, such as fetching software instructions and then performing the actions specified in the fetched instructions. These actions may include, for example, adding, subtracting, multiplying, and comparing numbers, performing logical operations such as AND, OR, NOR and XOR, and retrieving data. Eachcomputing engine 203 may then use itscorresponding memory cache 205 to quickly store and retrieve data and/or instructions for execution. - Each
processor core 201 is connected to aninterconnect 207. The particular construction of theinterconnect 207 may vary depending upon the architecture of theprocessor unit 201. With someprocessor cores 201, such as the Cell microprocessor created by Sony Corporation, Toshiba Corporation and IBM Corporation, theinterconnect 207 may be implemented as an interconnect bus. Withother processor units 201, however, such as the Opteron™ and Athlon™ dual-core processors available from Advanced Micro Devices of Sunnyvale, Calif., theinterconnect 207 may be implemented as a system request interface device. In any case, theprocessor cores 201 communicate through theinterconnect 207 with an input/output interface 209 and a memory controller 211. The input/output interface 209 provides a communication interface between theprocessor unit 201 and thebus 115. Similarly, the memory controller 211 controls the exchange of information between theprocessor unit 201 and thesystem memory 107. With some implementations of the invention, theprocessor units 201 may include additional components, such as a high-level cache memory accessible shared by theprocessor cores 201. - While
FIG. 2 shows one illustration of aprocessor unit 201 that may be employed by some embodiments of the invention, it should be appreciated that this illustration is representative only, and is not intended to be limiting. For example, some embodiments of the invention may employ amaster computer 103 with one or more Cell processors. The Cell processor employs multiple input/output interfaces 209 and multiple memory controllers 211. Also, the Cell processor has ninedifferent processor cores 201 of different types. More particularly, it has six or more synergistic processor elements (SPEs) and a power processor element (PPE). Each synergistic processor element has a vector-type computing engine 203 with 428×428 bit registers, four single-precision floating point computational units, four integer computational units, and a 556 KB local store memory that stores both instructions and data. The power processor element then controls that tasks performed by the synergistic processor elements. Because of its configuration, the Cell processor can perform some mathematical operations, such as the calculation of fast Fourier transforms (FFTs), at substantially higher speeds than many conventional processors. - It also should be appreciated that, with some implementations, a
multi-core processor unit 111 can be used in lieu of multiple,separate processor units 111. For example, rather than employing sixseparate processor units 111, an alternate implementation of the invention may employ asingle processor unit 111 having six cores, two multi-core processor units each having three cores, amulti-core processor unit 111 with four cores together with two separate single-core processor units 111, etc. - Returning now to
FIG. 1 , theinterface device 113 allows themaster computer 103 to communicate with theservant computers interface device 113 translates data and control signals from themaster computer 103 and each of the servant computers 117 into network messages according to one or more communication protocols, such as the transmission control protocol (TCP), the user datagram protocol (UDP), and the Internet protocol (IP). These and other conventional communication protocols are well known in the art, and thus will not be discussed here in more detail. - Each servant computer 117 may include a
memory 119, aprocessor unit 121, aninterface device 123, and, optionally, one more input/output devices 125 connected together by a system bus 127. As with themaster computer 103, the optional input/output devices 125 for the servant computers 117 may include any conventional input or output devices, such as keyboards, pointing devices, microphones, display monitors, speakers, and printers. Similarly, theprocessor units 121 may be any type of conventional or custom-manufactured programmable processor device. For example, one or more of theprocessor units 121 may be commercially generic programmable microprocessors, such as Intel® Pentium® or Xeon™microprocessors, Advanced Micro Devices Athlon™ microprocessors or Motorola 68K/Coldfire® microprocessors. Alternately, one or more of theprocessor units 121 may be custom-manufactured processors, such as microprocessors designed to optimally perform specific types of mathematical operations. Still further, one or more of theprocessor units 121 may have more than one core, as described with reference toFIG. 2 above. For example, with some implementations of the invention, one or more of theprocessor units 121 may be a Cell processor. Thememory 119 then may be implemented using any combination of the computer readable media discussed above. Like theinterface device 113, theinterface devices 123 allow the servant computers 117 to communicate with themaster computer 103 over the communication interface. - In the illustrated example, the
master computer 103 is a multi-processor unit computer withmultiple processor units 111, while each servant computer 117 has asingle processor unit 121. It should be noted, however, that alternate implementations of the invention may employ a master computer havingsingle processor unit 111. Further, one or more of the servant computers 117 may havemultiple processor units 121, depending upon their intended use, as previously discussed. Also, while only asingle interface device master computer 103 and the servant computers, it should be noted that, with alternate embodiments of the invention, either thecomputer 103, one or more of the servant computers 117, or some combination of both may use two or moredifferent interface devices - With various examples of the invention, the
master computer 103 may be connected to one or more external data storage devices. These external data storage devices may be implemented using any combination of computer readable media that can be accessed by themaster computer 103. The computer readable media may include, for example, microcircuit memory devices such as read-write memory (RAM), read-only memory (ROM), electronically erasable and programmable read-only memory (EEPROM) or flash memory microcircuit devices, CD-ROM disks, digital video disks (DVD), or other optical storage devices. The computer readable media may also include magnetic cassettes, magnetic tapes, magnetic disks or other magnetic storage devices, punched media, holographic storage devices, or any other medium that can be used to store desired information. According to some implementations of the invention, one or more of the servant computers 117 may alternately or additionally be connected to one or more external data storage devices. Typically, these external data storage devices will include data storage devices that also are connected to themaster computer 103, but they also may be different from any data storage devices accessible by themaster computer 103. - It also should be appreciated that the description of the computer network illustrated in
FIG. 1 andFIG. 2 is provided as an example only, and it not intended to suggest any limitation as to the scope of use or functionality of alternate embodiments of the invention. - Debug Tool with Marker-Based Value Accentuation
-
FIG. 3 illustrates an example system including adesign verification tool 301 and adebug tool 311 that may be implemented according to various embodiments of the invention. AlthoughFIG. 3 shows thedesign verification tool 301 separate from thedebug tool 311, in some embodiments, thedesign verification tool 301 and thedebug tool 311 can be integrated into a common tool. Referring toFIG. 3 , thedesign verification tool 301 can receive acircuit design 302, which can describe an electronic device both in terms of an exchange of data signals between components in the electronic device, such as hardware registers, flip-flops, combinational logic, or the like, and in terms of logical operations that can be performed on the data signals in the electronic device. Thecircuit design 302 can model the electronic device at a register transfer level (RTL), for example, with code in a hardware description language (HDL), such as Verilog, Very high speed integrated circuit Hardware Design Language (VHDL), or the like. - The
design verification tool 301 can include acircuit simulation unit 303 to simulate thecircuit design 302 based, at least in part, on atest bench 304. Thetest bench 304 can define test stimuli, for example, clock signals, activation signals, power signals, control signals, and data signals that, when grouped, may form test bench transactions capable of prompting operation of thecircuit design 302 during simulation. In some embodiments, thetest bench 304 can be written in an object-oriented programming language, for example, SystemVerilog or the like. A methodology library, for example, a Universal Verification Methodology (UVM) library, an Open Verification Methodology (OVM) library, an Advanced Verification Methodology (AVM) library, a Verification Methodology Manual (VMM) library, or the like, can be utilized as a base for creating thetest bench 304 and simulating thecircuit design 302. In some embodiments, thedesign verification tool 301 can receive thetest bench 304 from a source external to thedesign verification tool 301, such as a user interface of the computer network 101, another tool implemented by the computer network 101, or thedesign verification tool 301 may generate thetest bench 304 internally. - The
circuit simulation unit 303 can include asimulation results unit 305 to record output created by thecircuit design 302 during simulation with thetest bench 304. The simulated output can includewaveform data 308, simulation results in other formats, or the like. Thecircuit simulation unit 303 can include asimulation log unit 306 to record operations of or messages generated by thetest bench 304 during simulation into asimulation log file 309. In some embodiments, thesimulation log unit 306 can utilize default logging classes in at least one of the methodology libraries to capture the operations of or messages generated by thetest bench 304 during simulation and record them in thesimulation log file 309 in a predefined format. - The
design verification tool 301 can include afunctional verification unit 307 to compare thewaveform data 308 with an expected output from thecircuit design 302 in response thetest bench 304. Thefunctional verification unit 307 can verify the functionality of thecircuit design 302 when thewaveform data 308 indicates thecircuit design 302 operates as expected based on the comparison. When thewaveform data 308 indicates thecircuit design 302 operates differently than expected based on the comparison, thefunctional verification unit 307 can determine a “bug” or other defect is present in thecircuit design 302 and/or in thetest bench 304. AlthoughFIG. 3 shows thedesign verification tool 301 including thefunctional verification unit 307, in some embodiments, thefunctional verification unit 307 can be located external to thedesign verification tool 301. - When the
functional verification unit 307 determines a “bug” or other defect is present in thecircuit design 302 or in thetest bench 304, designer(s) can utilize adebug tool 311 to isolate the “bug” in thecircuit design 302 and/ortest bench 304. Thedebug tool 311 can receive thecircuit design 302, thetest bench 304, thewaveform data 308, and thesimulation log file 309, for example, from thedesign verification tool 301. - The
debug tool 311 can include adisplay unit 312 to prompt display or presentation of one or more debug windows capable of population with thewaveform data 308, test bench transactions from thesimulation log file 309, thecircuit design 302, and/or thetest bench 304. For example, thedisplay unit 312 can prompt presentation of thewaveform data 308 alongside the source code of thecircuit design 302, which can allow the designer(s) to review thewaveform data 308 and thecircuit design 302 to isolate the “bug” identified by thefunctional verification unit 307. Thedisplay unit 312 also can prompt presentation of the test bench transactions during the debug process, for example, to allow the designer(s) to isolate the “bug” in thetest bench 304. In some embodiments, thedebug tool 311 can synchronize thewaveform data 308, test bench transactions from thesimulation log file 309, thecircuit design 302, and/or thetest bench 304 with each other, thedisplay unit 312 can prompt presentation of the test bench transactions alongside and synchronized with thewaveform data 308 and/or thetest bench 304 in one or more debug windows. Embodiments of various debug windows will be described below inFIGS. 6A , 6B, 7, and 8. - The
display unit 312 can include abiometric marker unit 313 to store one or morebiometric markers 317, for example, received from a user interface of the computer network 101. Thebiometric markers 317 can include one or more search values, which can be utilized to match values in thewaveform data 308, test bench transactions from thesimulation log file 309, thecircuit design 302, and/or thetest bench 304. - When the
display unit 312 identifies data to be presented, such as thewaveform data 308, test bench transactions from thesimulation log file 309, thecircuit design 302, and/or thetest bench 304, thebiometric marker unit 313 can perform a search of the data to determine whether the data includes instances of search values in thebiometric markers 317. In some embodiments, thebiometric markers 317 can define search parameters utilized to determine whether the search values in thebiometric markers 317 match any values in thewaveform data 308, test bench transactions from thesimulation log file 309, thecircuit design 302, and/or thetest bench 304. The search parameters can identify one or more representations for the search value to be matched, such as represented in decimal format, hexadecimal format, octal format, binary format, or the like. For example, when one of thebiometric markers 317 include a search value specified in one format, the search parameters could indicate that in addition the a search for a value in the same format, thebiometric marker unit 313 can search for the value in one or more different formats. The search parameters also can identify whether to utilize regular expression matching during the search. For example, thebiometric marker unit 313 can search for a value specified by thebiometric marker 317 that constitutes a portion of one or more of the searched values based one the search parameters indicating to search with regular expression matching. - The
display unit 312 can include anaccentuation unit 314 to prompt accentuation of values in one or more debug windows that thebiometric marker unit 313 matched to search values in thebiometric markers 317. In some embodiments, theaccentuation unit 314 can indicate to thedisplay unit 312, how to accentuate the matched values, and thedisplay unit 312 can prompt presentation of the matched values along with accentuation instructions for the matched values. In other embodiments, theaccentuation unit 314 can prompt presentation the matched values with an accentuation relative to other data presented in a debug window. When thedisplay unit 312 presents multiple debug windows, which may be temporally synchronized with each other, theaccentuation unit 314 can accentuate matched values in each the multiple debug windows. This accentuation of values that thebiometric marker unit 313 matched to search values in thebiometric markers 317 across multiple synchronized debug windows can allow designers the ability to review and/or track the matched values in various portions of the simulation. - The
biometric markers 317 can include one or more display operations for theaccentuation unit 314 and/or thedisplay unit 312 to utilize, for example, when a search value in thebiometric marker 317 matches one or more values in thewaveform data 308, test bench transactions from thesimulation log file 309, thecircuit design 302, and/or thetest bench 304. In some embodiments, the matched values can be displayed with a different color, different font, different font size, different font style, different outline sizing, different outline color, added underlining, added underscoring, or any other difference visibly perceptible when compared to other values in the presented data. Embodiments for marker-based value accentuation will be described below in greater detail. -
FIG. 4 illustrates a flowchart showing an example implementation of marker-based value accentuation according to various examples of the invention. Referring toFIG. 4 , in block 401, a design verification tool can simulate a circuit design with a test bench. The design verification tool can record output created by the circuit design during simulation with the test bench, called waveform data or simulation results. The design verification tool also can record operation of the test bench during simulation into a simulation log file. In some embodiments, the design verification tool can utilize default logging classes in at least one of the methodology libraries to capture the operations of or messages generated by the test bench during simulation and record them in the simulation log file in a predefined format. - In a block 402, the design verification tool can determine whether a simulated output for the circuit design is different than an expected output for the circuit design. The design verification tool can verify the functionality of the circuit design when the waveform data indicates the circuit design operates as expected. When the waveform data indicates the circuit design operates differently than expected, the design verification tool can determine a “bug” or other defect is present in the circuit design or in the test bench.
- In a block 403, the debug tool can prompt display the simulated output for the circuit design in a debug window, for example, in response to the determination that the “bug” or other defect is present in the circuit design or in the test bench. In some embodiments, the debug tool can prompt display of test bench transactions from a simulation log file, the circuit design, and/or the test bench in the debug window. The debug tool can selectively prompt display of different signals in the simulated output, different test bench transactions from a simulation log file, portions of the circuit design, and/or portions of the test bench in the debug window.
- In a block 404, the debug tool can receive selection of a value in the simulated output, for example, from a user interface of the computer network 101. The selection of the value can prompt generation of a biometric marker corresponding to the selected value. In some embodiments, the debug tool can generate a biometric marker in response to the selection of the value.
- The debug tool can search the simulated output displayed in the debug window to identify the instances of the simulated output that include the selected value in the biometric marker. In some embodiments, the biometric markers can define search parameters utilized to determine whether the selected value in the biometric marker matches any values in the waveform data, test bench transactions from the simulation log file, the circuit design, and/or the test bench. The search parameters can identify one or more representations for the selected value to be matched, such as represented in decimal format, hexadecimal format, octal format, binary format, or the like. The search parameters also can identify whether to utilize regular expression matching during the search. The debug tool can receive selection of the search parameters corresponding to the selected value in the simulated output, for example, from a user interface of the computer network 101.
- In a block 405, the debug tool can accentuate one or more occurrences of the value in the display relative to other values in the simulated output. For example, the debug tool can accentuate the occurrences of the value in the display by prompting display of the values with a different color, different font, different font size, different font style, different outline sizing, different outline color, added underlining, added underscoring, or any other difference visibly perceptible when compared to other values in the display. In some embodiments, the biometric marker can include one or more display operations defining a type of accentuation for the debug tool to utilize to accentuate occurrences of the value in the display. The debug tool can receive selection of the display operations corresponding to the selected value in the simulated output, for example, from a user interface of the computer network 101.
- Although
FIG. 4 shows non-accentuated display of simulated output prior to value selection and accentuation, in some embodiments, the debug window can have a biometric marker specified prior to display of all or at least some of the simulated output. In this case, the debug tool, in the block 403, can prompt display of the simulated output with value accentuation based on the biometric marker specified prior to display of all or at least some of the simulated output. -
FIG. 5 illustrates a flowchart showing an example implementation of display of waveform data using marker comparison and selective value accentuation according to various examples of the invention. Referring toFIG. 5 , in block 501, a debug tool can identify a new value of waveform data to display. In some embodiments, the new value can be a value in a test bench, a value in a simulation log, a value in a circuit design, or the like. The debug tool can identify the new value to display in response to input from a user interface in computer network 101, in response to a new biometric marker being specified for the debug environment, in response selection of new data to display in the debug window, or the like. - In a block 502, the debug tool can determine whether any biometric markers have been specified in the debug environment, or any particular debug window in the debug environment. When a biometric marker has not been specified for the debug window, in block 505, the debug tool can prompt display of the new value without marker-based accentuation.
- When a biometric marker has been specified in the debug environment, in block 503, the debug tool can compare the new value to display to the specified biometric marker. For example, the biometric marker can include a value, which can be compared to the new value to display. In some embodiments, the biometric marker can define search parameters utilized to determine whether the value in the biometric marker matches the new value. The search parameters can identify one or more representations for the value in the biometric marker, such as represented in decimal format, hexadecimal format, octal format, binary format, or the like. The search parameters also can identify whether to utilize regular expression matching during the comparison.
- In a block 504, the debug tool can determine whether the new value matches any biometric markers. The debug tool can utilize the comparison of the new value with the biometric markers specified in the debug environment to determine whether the new value matches one or more of the biometric markers. When the new value does not match any biometric markers specified in the debug environment, in block 505, the debug tool can prompt display of the new value without marker-based accentuation.
- When the new value matches at least one biometric marker specified in the debug environment, in block 506, the debug tool can prompt display of the new value with marker-based accentuation. For example, the debug tool can accentuate the new value in the debug window by prompting display of the new value with a different color, different font, different font size, different font style, different outline sizing, different outline color, added underlining, added underscoring, or any other difference visibly perceptible when compared to other values in the display. In some embodiments, the biometric marker can include one or more display operations that the debug tool can utilize to accentuate occurrences of the value in the display.
- In a block 507, the debug tool can determine whether all values have been displayed. When there is a new value to display, execution can return to block 501. When all values have been displayed, execution can end.
-
FIGS. 6A and 6B illustrate an examplewaveform display window 601 according to various embodiments of the invention. Referring toFIG. 6A , thewaveform display window 601 can include a waveform pane 610 to include a list ofwaveform data 614, which can correspond to output from a circuit design simulated with a test bench. In some embodiments, the waveform pane 610 can be arranged in a row-column format, with the rows corresponding to different signal waveforms in thewaveform data 614 and the columns including various attributes of thewaveform data 614. For example, the waveform pane 610 can include asignal 611 column, which can indicate a particular signal waveform in thewaveform data 614. The waveform pane 610 can include avalue 612 column, which can indicate a value of partial (leftmost) signal waveform in thewaveform data 614. - The waveform pane 610 can include a
time 613 column, which can include thewaveform data 614 synchronized based on generation time during simulation of the circuit design with the test bench, also called a simulation time. The waveform pane 610 can include scroll bars 621-624, that, when selected or moved, for example, in response to user input, can adjust which portions of thesignal 611, thevalue 612, thetime 613 columns are viewable in the waveform pane 610. - The
waveform display window 601 can include atime bar 631 having listing of simulation times, and thetime 613 column can include listing having a subset of the simulation times in thetime bar 631. The waveform pane 610 can include atimeline 616 to indicate which simulation time is presented in thetime 613 column. In some embodiments, thetimeline 616 can be displayed vertically in thetime bar 631 crossing a currently selected simulation time, and displayed vertically in thetime 613 column crossing a currently selected simulation time in thetime 613 column and optionally thewaveform data 614. - The
waveform display window 601 can include amenu bar 602 having various mechanisms to selectively sort, filter, organize, populate, or the like, the waveform pane 610 with thewaveform data 614. Themenu bar 602 can also allow selection of one or more values in thewaveform data 614 to mark, for example, into a biometric marker. Themenu bar 602 can provide various options for marking values in thewaveform data 614, such as a type of accentuation to be utilized for the data, different techniques for matching the marked value to other values currently displayed in thewaveform display window 601 or displayed in the future in thewaveform display window 601. Thewaveform display window 601 also can includewindow icons 608, which can control sizing of thewaveform display window 601, such as enlarging, shrinking, minimizing, or the like, and closing of thewaveform display window 601. - Referring to
FIG. 6B , thewaveform display window 601 inFIG. 6B is similar to thewaveform display window 601 inFIG. 6A , except the waveform pane 610 inFIG. 6B includes accentuated waveform data 617 rather thanwaveform data 614 that was not accentuated inFIG. 6A . For example, portions of waveform data having a value c017ffbc in the accentuated waveform data 617 include a different outline, which emphasizes those portions of waveform data having the value c017ffbc relative to the other values in the accentuated waveform data 617. The accentuation of the portions of waveform data having the value c017ffbc can indicate that thewaveform display window 601 can have a biometric marker for the value c017ffbc, that a debug tool matched the portions of waveform data having the value c017ffbc to the biometric marker, and accentuated the matched portions of the waveform data, for example, based on display parameters in the biometric marker. - Although
FIG. 6B shows thewaveform display window 601 accentuating the portions of waveform data having the value c017ffbc with a different outline, in some embodiments, the portions of waveform data having the value c017ffbc can be accentuated in any number of different ways, such as with a different color, different font, different font size, different font style, different outline sizing, different outline color, added underlining, added underscoring, or any other difference visibly perceptible when compared to other portions of waveform data. -
FIG. 7 illustrates an example circuitdesign display window 701 with marker-based value accentuation according to various embodiments of the invention. Referring toFIG. 7 , the circuitdesign display window 701 can include asource pane 710 having a circuitdesign source code 711, for example, sequenced bycode line numbers 712. In some embodiments, thesource pane 710 can be arranged in rows, with each row corresponding to different line in the circuitdesign source code 711. Thesource pane 710 can includescroll bars 714, that, when selected or moved, for example, in response to user input, can adjust which portions of the circuitdesign display window 701 are viewable in thesource pane 710. - The
source pane 710 also can include accentuatedwaveform data 713, for example, in the rows corresponding to portions of the circuitdesign source code 711. For example, portions of waveform data having a value c017ffbc in the accentuatedwaveform data 713 includes an outline, which emphasizes those portions of waveform data having the value c017ffbc relative to the other values in the accentuatedwaveform data 713. The accentuation of the portions of waveform data having the value c017ffbc can indicate that the circuitdesign display window 701 can have a biometric marker for the value c017ffbc, that a debug tool matched the portions of waveform data having the value c017ffbc to the biometric marker, and accentuated the matched portions of the waveform data, for example, based on display parameters in the biometric marker. - Although
FIG. 7 shows the circuitdesign display window 701 accentuating the portions of waveform data having the value c017ffbc with the outline, in some embodiments, the portions of waveform data having the value c017ffbc can be accentuated in any number of different ways, such as with a different color, different font, different font size, different font style, different outline sizing, different outline color, added underlining, added underscoring, or any other difference visibly perceptible when compared to other portions of waveform data. -
FIG. 8 illustrates an example test bench source display window with marker-based value accentuation according to various embodiments of the invention. Referring toFIG. 8 , the testbench source window 801 can include asource pane 810, a simulation pane 820, and a transaction pane 830. Thesource pane 810 can include a testbench source code 811, for example, sequenced bycode line numbers 812. In some embodiments, thesource pane 810 can be arranged in rows, with each row corresponding to different line in the testbench source code 811. Thesource pane 810 can includescroll bars 814, that, when selected or moved, for example, in response to user input, can adjust which portions of the testbench source code 811 are viewable in thesource pane 810. - The
source pane 810 also can include accentuatedwaveform data 813, for example, in the rows corresponding to portions of the testbench source code 811. For example, portions of waveform data having a value c017ffbc in the accentuatedwaveform data 813 includes an outline, which emphasizes those portions of waveform data having the value c017ffbc relative to the other values in the accentuatedwaveform data 813. The accentuation of the portions of waveform data having the value c017ffbc can indicate that the test benchsource display window 801 can have a biometric marker for the value c017ffbc, that a debug tool matched the portions of waveform data having the value c017ffbc to the biometric marker, and accentuated the matched portions of the waveform data, for example, based on display parameters in the biometric marker. - Although
FIG. 8 shows the test benchsource display window 801 accentuating the portions of waveform data having the value c017ffbc with the outline, in some embodiments, the portions of waveform data having the value c017ffbc can be accentuated in any number of different ways, such as with a different color, different font, different font size, different font style, different outline sizing, different outline color, added underlining, added underscoring, or any other difference visibly perceptible when compared to other portions of waveform data. - The simulation pane 820 can include information regarding types of
transactions 821 in a simulation log file, such as different transactions extracted from the simulation log file, for example, arranged by their corresponding transaction scope or type. In some embodiments, the simulation pane 820 can be arranged in rows, with each row corresponding to different type of transaction in the simulation log file. The simulation pane 820 can includescroll bars 822, which, when selected or moved, for example, in response to user input, can adjust which transaction types 821 are viewable in the simulation pane 820. - The transaction pane 830 can include
test bench transactions 831. In some embodiments, the transaction pane 830 can be arranged in rows, with each row corresponding to different transaction extracted from the simulation log file. The transaction pane 830 can includetabs 834, such as a log tab, thread tab, class tab, file tab, or the like, which can select a format for viewing thetest bench transactions 831, and for the transaction types 821 in the simulation log pane 820. The transaction pane 830 can includescroll bars 832, that, when selected or moved, for example, in response to user input, can adjust which portions of thetest bench transactions 831 are viewable in the transaction pane 830. - The
source pane 810, the simulation pane 820, and the transaction pane 830 can be interrelated, with a selection of a row in one pane causing corresponding portions of the other panes to automatically scroll into view and optionally be highlighted or otherwise have their presentation altered to annunciate their presence in the corresponding panes. For example, a selection of atest bench transaction 831 in the transaction pane 830 can cause atransaction type 821 in the simulation pane 820 and a section of the testbench source code 811 to automatically scroll into view and optionally be highlighted or otherwise have their presentation altered to annunciate their presence. - The test bench
source display window 801 can include amenu bar 802 having various mechanisms to selectively sort, filter, organize, populate, or the like, thesource pane 810, the simulation pane 820, and the transaction pane 830. The test benchsource display window 801 also can includewindow icons 808, which can control sizing of the test benchsource display window 801, such as enlarging, shrinking, minimizing, or the like, and closing of the test benchsource display window 801. - Although
FIG. 6A-8 show display of data including waveform data, test bench transactions from a simulation log file, a circuit design source code, and a test bench source code in different display windows, this data can be presented in any number of windows or have the data included one window. Further, any additional data can be added to or any current data can be removed from any of the window or windows described above. - The system and apparatus described above may use dedicated processor systems, micro controllers, programmable logic devices, microprocessors, or any combination thereof, to perform some or all of the operations described herein. Some of the operations described above may be implemented in software and other operations may be implemented in hardware. Any of the operations, processes, and/or methods described herein may be performed by an apparatus, a device, and/or a system substantially similar to those as described herein and with reference to the illustrated figures.
- The processing device may execute instructions or “code” stored in memory. The memory may store data as well. The processing device may include, but may not be limited to, an analog processor, a digital processor, a microprocessor, a multi-core processor, a processor array, a network processor, or the like. The processing device may be part of an integrated control system or system manager, or may be provided as a portable electronic device configured to interface with a networked system either locally or remotely via wireless transmission.
- The processor memory may be integrated together with the processing device, for example RAM or FLASH memory disposed within an integrated circuit microprocessor or the like. In other examples, the memory may comprise an independent device, such as an external disk drive, a storage array, a portable FLASH key fob, or the like. The memory and processing device may be operatively coupled together, or in communication with each other, for example by an I/O port, a network connection, or the like, and the processing device may read a file stored on the memory. Associated memory may be “read only” by design (ROM) by virtue of permission settings, or not. Other examples of memory may include, but may not be limited to, WORM, EPROM, EEPROM, FLASH, or the like, which may be implemented in solid state semiconductor devices. Other memories may comprise moving parts, such as a known rotating disk drive. All such memories may be “machine-readable” and may be readable by a processing device.
- Operating instructions or commands may be implemented or embodied in tangible forms of stored computer software (also known as “computer program” or “code”). Programs, or code, may be stored in a digital memory and may be read by the processing device. “Computer-readable storage medium” (or alternatively, “machine-readable storage medium”) may include all of the foregoing types of memory, as well as new technologies of the future, as long as the memory may be capable of storing digital information in the nature of a computer program or other data, at least temporarily, and as long at the stored information may be “read” by an appropriate processing device. The term “computer-readable” may not be limited to the historical usage of “computer” to imply a complete mainframe, mini-computer, desktop or even laptop computer. Rather, “computer-readable” may comprise storage medium that may be readable by a processor, a processing device, or any computing system. Such media may be any available media that may be locally and/or remotely accessible by a computer or a processor, and may include volatile and non-volatile media, and removable and non-removable media, or any combination thereof.
- A program stored in a computer-readable storage medium may comprise a computer program product. For example, a storage medium may be used as a convenient means to store or transport a computer program. For the sake of convenience, the operations may be described as various interconnected or coupled functional blocks or diagrams. However, there may be cases where these functional blocks or diagrams may be equivalently aggregated into a single logic device, program or operation with unclear boundaries.
- While the application describes specific examples of carrying out embodiments of the invention, those skilled in the art will appreciate that there are numerous variations and permutations of the above described systems and techniques that fall within the spirit and scope of the invention as set forth in the appended claims. For example, while specific terminology has been employed above to refer to electronic design automation processes, it should be appreciated that various examples of the invention may be implemented using any desired combination of electronic design automation processes.
- One of skill in the art will also recognize that the concepts taught herein can be tailored to a particular application in many other ways. In particular, those skilled in the art will recognize that the illustrated examples are but one of many alternative implementations that will become apparent upon reading this disclosure.
- Although the specification may refer to “an”, “one”, “another”, or “some” example(s) in several locations, this does not necessarily mean that each such reference is to the same example(s), or that the feature only applies to a single example.
Claims (20)
Priority Applications (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US13/940,082 US8893065B2 (en) | 2012-07-11 | 2013-07-11 | Biometric markers in a debugging environment |
US14/332,157 US20140331195A1 (en) | 2012-06-22 | 2014-07-15 | Test bench hierarchy and connectivity in a debugging environment |
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US201261670511P | 2012-07-11 | 2012-07-11 | |
US13/940,082 US8893065B2 (en) | 2012-07-11 | 2013-07-11 | Biometric markers in a debugging environment |
Related Parent Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
US13/924,156 Continuation-In-Part US9582625B2 (en) | 2012-06-22 | 2013-06-21 | Test bench transaction synchronization in a debugging environment |
Related Child Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
US13/941,234 Continuation-In-Part US8782581B2 (en) | 2012-06-22 | 2013-07-12 | Test bench hierarchy and connectivity in a debugging environment |
Publications (2)
Publication Number | Publication Date |
---|---|
US20140019924A1 true US20140019924A1 (en) | 2014-01-16 |
US8893065B2 US8893065B2 (en) | 2014-11-18 |
Family
ID=49915127
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
US13/940,082 Active US8893065B2 (en) | 2012-06-22 | 2013-07-11 | Biometric markers in a debugging environment |
Country Status (1)
Country | Link |
---|---|
US (1) | US8893065B2 (en) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US10726188B1 (en) * | 2014-09-02 | 2020-07-28 | Cadence Design Systems, Inc. | Method, system, and computer program product for performing channel analyses for an electronic circuit design including a parallel interface |
Families Citing this family (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US9460261B2 (en) | 2014-03-05 | 2016-10-04 | Vayavya Labs Private. Limited | Computer-implemented verification system for performing a functional verification of an integrated circuit |
US10417372B2 (en) * | 2015-11-25 | 2019-09-17 | Synopsys, Inc. | Annotating isolated signals |
Citations (38)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5371851A (en) * | 1989-04-26 | 1994-12-06 | Credence Systems Corporation | Graphical data base editor |
US5838949A (en) * | 1995-12-28 | 1998-11-17 | Design Acceleration Inc. | System and method for execution-sequenced processing of electronic design simulation results |
US5991533A (en) * | 1994-04-12 | 1999-11-23 | Yokogawa Electric Corporation | Verification support system |
US6295623B1 (en) * | 1999-01-29 | 2001-09-25 | Credence Systems Corporation | System for testing real and simulated versions of an integrated circuit |
US20020194543A1 (en) * | 1997-10-27 | 2002-12-19 | Altera Corporation, A Delaware Corporation | Enhanced embedded logic analyzer |
US6691301B2 (en) * | 2001-01-29 | 2004-02-10 | Celoxica Ltd. | System, method and article of manufacture for signal constructs in a programming language capable of programming hardware architectures |
US20050010880A1 (en) * | 1999-11-30 | 2005-01-13 | Bridges2Silicon, Inc. | Method and user interface for debugging an electronic system |
US20050091026A1 (en) * | 2003-09-20 | 2005-04-28 | Spiratech Limited | Modelling and simulation method |
US20060080626A1 (en) * | 2004-10-12 | 2006-04-13 | International Business Machines Corporation | Visualization method and apparatus for logic verification and behavioral analysis |
US7051299B2 (en) * | 2003-07-31 | 2006-05-23 | International Business Machines Corporation | Method for generating reusable behavioral code |
US7079997B1 (en) * | 2001-04-09 | 2006-07-18 | Novas Software, Inc. | IC behavior analysis system |
US20060178863A1 (en) * | 2003-06-27 | 2006-08-10 | Siemens Aktiengeseli Schaft | Combining and representing signals of a hardware simulation device and elements of a program listing |
US7137078B2 (en) * | 2003-03-27 | 2006-11-14 | Jasper Design Automation, Inc. | Trace based method for design navigation |
US20060271345A1 (en) * | 2005-05-18 | 2006-11-30 | Atsushi Kasuya | Debugging a circuit using a circuit simulation verifier |
US7231337B1 (en) * | 1998-05-19 | 2007-06-12 | Altera Corporation | Using assignment decision diagrams with control nodes for sequential review during behavioral simulation |
US7263674B2 (en) * | 2003-12-05 | 2007-08-28 | Coventor, Inc. | System and method for three-dimensional visualization and postprocessing of a system model |
US20070294651A1 (en) * | 2006-06-16 | 2007-12-20 | Kuen-Yang Tsai | Active trace assertion based verification system |
US20080147372A1 (en) * | 2006-12-14 | 2008-06-19 | Cadence Design Systems, Inc. | Automatic method and system for identifying and recording transaction data generated from a computer simulation of an integrated circuit |
US20080162104A1 (en) * | 2006-12-27 | 2008-07-03 | Fanuc Ltd | Simulation data creation supporting device |
US20090037163A1 (en) * | 2007-07-30 | 2009-02-05 | Hong Wei Kong | Fast and Flexible Communication System Simulation |
US20090055153A1 (en) * | 2007-08-21 | 2009-02-26 | Bell Jr Robert H | Augmenting of Automated Clustering-Based Trace Sampling Methods by User-Directed Phase Detection |
US20090171648A1 (en) * | 2007-12-26 | 2009-07-02 | Fujitsu Microelectronics Limited | Instruction check program, instruction check apparatus, and i/o simulator |
US20090199163A1 (en) * | 2008-01-31 | 2009-08-06 | International Business Machines Corporation | Debugger assistance for locating values at runtime |
US7613599B2 (en) * | 2000-06-02 | 2009-11-03 | Synopsys, Inc. | Method and system for virtual prototyping |
US7725276B2 (en) * | 2006-12-28 | 2010-05-25 | Mitsubishi Electric Corporation | Signal waveform analyzing device |
US7761834B2 (en) * | 2006-07-20 | 2010-07-20 | Solido Design Automation Inc. | Interactive schematic for use in analog, mixed-signal, and custom digital circuit design |
US7774172B1 (en) * | 2003-12-10 | 2010-08-10 | The Mathworks, Inc. | Method for using a graphical debugging tool |
US7823097B2 (en) * | 2006-09-15 | 2010-10-26 | International Business Machines Corporation | Unrolling hardware design generate statements in a source window debugger |
US20110238397A1 (en) * | 2010-03-29 | 2011-09-29 | Springsoft, Inc. | Method and apparatus for transaction recording and visualization |
US20110320991A1 (en) * | 2010-06-24 | 2011-12-29 | Springsoft Usa, Inc. | Hierarchial power map for low power design |
US8126691B2 (en) * | 2003-08-11 | 2012-02-28 | The Mathworks, Inc. | System and method for block diagram simulation context restoration |
US8176453B2 (en) * | 2009-01-23 | 2012-05-08 | Springsoft Usa, Inc. | Power-aware debugging |
US8365110B2 (en) * | 2007-05-25 | 2013-01-29 | The Regents Of The University Of Michigan | Automatic error diagnosis and correction for RTL designs |
US8386208B2 (en) * | 2008-05-08 | 2013-02-26 | Teledyne Lecroy, Inc. | Method and apparatus for trigger scanning |
US20130124184A1 (en) * | 2010-03-15 | 2013-05-16 | Omron Corporation | Controller support device, simulation method of control program, support program for a controller, and computer readable storage medium for storing the support program of the controller |
US8473269B1 (en) * | 2007-02-27 | 2013-06-25 | Xilinx, Inc. | System-level hardware and software development and co-simulation system |
US8626481B1 (en) * | 2010-04-08 | 2014-01-07 | Xilinx, Inc. | Signal tagging during simulation |
US8630824B1 (en) * | 2009-06-09 | 2014-01-14 | Jasper Design Automation, Inc. | Comprehending waveforms of a circuit design |
Family Cites Families (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5920711A (en) | 1995-06-02 | 1999-07-06 | Synopsys, Inc. | System for frame-based protocol, graphical capture, synthesis, analysis, and simulation |
US20040225459A1 (en) | 2003-02-14 | 2004-11-11 | Advantest Corporation | Method and structure to develop a test program for semiconductor integrated circuits |
US20070226542A1 (en) | 2006-03-24 | 2007-09-27 | International Business Machines Corporation | Simulated message generation for simulation testing of a node operation |
US8560985B1 (en) | 2007-06-07 | 2013-10-15 | Cadence Design Systems, Inc. | Configuration-based merging of coverage data results for functional verification of integrated circuits |
US8051402B2 (en) | 2007-09-26 | 2011-11-01 | Cadence Design Systems, Inc. | Method and apparatus for implementing communication between a software side and a hardware side of a test bench in a transaction-based acceleration verification system |
US8140315B2 (en) | 2007-10-26 | 2012-03-20 | International Business Machines Corporation | Test bench, method, and computer program product for performing a test case on an integrated circuit |
US8443335B2 (en) | 2009-12-09 | 2013-05-14 | Agnisys, Inc. | Apparatus and method for circuit design |
US8560893B1 (en) | 2011-10-21 | 2013-10-15 | Cadence Design Systems, Inc. | Systems and methods for automatically generating executable system level-tests from a partially specified scenario |
-
2013
- 2013-07-11 US US13/940,082 patent/US8893065B2/en active Active
Patent Citations (42)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5371851A (en) * | 1989-04-26 | 1994-12-06 | Credence Systems Corporation | Graphical data base editor |
US5991533A (en) * | 1994-04-12 | 1999-11-23 | Yokogawa Electric Corporation | Verification support system |
US5838949A (en) * | 1995-12-28 | 1998-11-17 | Design Acceleration Inc. | System and method for execution-sequenced processing of electronic design simulation results |
US20020194543A1 (en) * | 1997-10-27 | 2002-12-19 | Altera Corporation, A Delaware Corporation | Enhanced embedded logic analyzer |
US7231337B1 (en) * | 1998-05-19 | 2007-06-12 | Altera Corporation | Using assignment decision diagrams with control nodes for sequential review during behavioral simulation |
US6295623B1 (en) * | 1999-01-29 | 2001-09-25 | Credence Systems Corporation | System for testing real and simulated versions of an integrated circuit |
US20050010880A1 (en) * | 1999-11-30 | 2005-01-13 | Bridges2Silicon, Inc. | Method and user interface for debugging an electronic system |
US7613599B2 (en) * | 2000-06-02 | 2009-11-03 | Synopsys, Inc. | Method and system for virtual prototyping |
US6691301B2 (en) * | 2001-01-29 | 2004-02-10 | Celoxica Ltd. | System, method and article of manufacture for signal constructs in a programming language capable of programming hardware architectures |
US7079997B1 (en) * | 2001-04-09 | 2006-07-18 | Novas Software, Inc. | IC behavior analysis system |
US7137078B2 (en) * | 2003-03-27 | 2006-11-14 | Jasper Design Automation, Inc. | Trace based method for design navigation |
US20060178863A1 (en) * | 2003-06-27 | 2006-08-10 | Siemens Aktiengeseli Schaft | Combining and representing signals of a hardware simulation device and elements of a program listing |
US7051299B2 (en) * | 2003-07-31 | 2006-05-23 | International Business Machines Corporation | Method for generating reusable behavioral code |
US8126691B2 (en) * | 2003-08-11 | 2012-02-28 | The Mathworks, Inc. | System and method for block diagram simulation context restoration |
US20050091026A1 (en) * | 2003-09-20 | 2005-04-28 | Spiratech Limited | Modelling and simulation method |
US8082141B2 (en) * | 2003-09-20 | 2011-12-20 | Mentor Graphics Corporation | Modelling and simulation method |
US7263674B2 (en) * | 2003-12-05 | 2007-08-28 | Coventor, Inc. | System and method for three-dimensional visualization and postprocessing of a system model |
US7774172B1 (en) * | 2003-12-10 | 2010-08-10 | The Mathworks, Inc. | Method for using a graphical debugging tool |
US20060080626A1 (en) * | 2004-10-12 | 2006-04-13 | International Business Machines Corporation | Visualization method and apparatus for logic verification and behavioral analysis |
US20060271345A1 (en) * | 2005-05-18 | 2006-11-30 | Atsushi Kasuya | Debugging a circuit using a circuit simulation verifier |
US20070294651A1 (en) * | 2006-06-16 | 2007-12-20 | Kuen-Yang Tsai | Active trace assertion based verification system |
US8479132B2 (en) * | 2006-06-16 | 2013-07-02 | Synopsys, Inc. | Active trace assertion based verification system |
US7761834B2 (en) * | 2006-07-20 | 2010-07-20 | Solido Design Automation Inc. | Interactive schematic for use in analog, mixed-signal, and custom digital circuit design |
US7823097B2 (en) * | 2006-09-15 | 2010-10-26 | International Business Machines Corporation | Unrolling hardware design generate statements in a source window debugger |
US20080147372A1 (en) * | 2006-12-14 | 2008-06-19 | Cadence Design Systems, Inc. | Automatic method and system for identifying and recording transaction data generated from a computer simulation of an integrated circuit |
US20080162104A1 (en) * | 2006-12-27 | 2008-07-03 | Fanuc Ltd | Simulation data creation supporting device |
US7725276B2 (en) * | 2006-12-28 | 2010-05-25 | Mitsubishi Electric Corporation | Signal waveform analyzing device |
US8473269B1 (en) * | 2007-02-27 | 2013-06-25 | Xilinx, Inc. | System-level hardware and software development and co-simulation system |
US8365110B2 (en) * | 2007-05-25 | 2013-01-29 | The Regents Of The University Of Michigan | Automatic error diagnosis and correction for RTL designs |
US20090037163A1 (en) * | 2007-07-30 | 2009-02-05 | Hong Wei Kong | Fast and Flexible Communication System Simulation |
US20090055153A1 (en) * | 2007-08-21 | 2009-02-26 | Bell Jr Robert H | Augmenting of Automated Clustering-Based Trace Sampling Methods by User-Directed Phase Detection |
US20090171648A1 (en) * | 2007-12-26 | 2009-07-02 | Fujitsu Microelectronics Limited | Instruction check program, instruction check apparatus, and i/o simulator |
US20090199163A1 (en) * | 2008-01-31 | 2009-08-06 | International Business Machines Corporation | Debugger assistance for locating values at runtime |
US8386208B2 (en) * | 2008-05-08 | 2013-02-26 | Teledyne Lecroy, Inc. | Method and apparatus for trigger scanning |
US8176453B2 (en) * | 2009-01-23 | 2012-05-08 | Springsoft Usa, Inc. | Power-aware debugging |
US8630824B1 (en) * | 2009-06-09 | 2014-01-14 | Jasper Design Automation, Inc. | Comprehending waveforms of a circuit design |
US8731894B1 (en) * | 2009-06-09 | 2014-05-20 | Jasper Design Automation, Inc. | Indexing behaviors and recipes of a circuit design |
US20130124184A1 (en) * | 2010-03-15 | 2013-05-16 | Omron Corporation | Controller support device, simulation method of control program, support program for a controller, and computer readable storage medium for storing the support program of the controller |
US20110238397A1 (en) * | 2010-03-29 | 2011-09-29 | Springsoft, Inc. | Method and apparatus for transaction recording and visualization |
US8626481B1 (en) * | 2010-04-08 | 2014-01-07 | Xilinx, Inc. | Signal tagging during simulation |
US20110320991A1 (en) * | 2010-06-24 | 2011-12-29 | Springsoft Usa, Inc. | Hierarchial power map for low power design |
US8365132B2 (en) * | 2010-06-24 | 2013-01-29 | Chih-Neng Hsu | Hierarchial power map for low power design |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US10726188B1 (en) * | 2014-09-02 | 2020-07-28 | Cadence Design Systems, Inc. | Method, system, and computer program product for performing channel analyses for an electronic circuit design including a parallel interface |
Also Published As
Publication number | Publication date |
---|---|
US8893065B2 (en) | 2014-11-18 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US9582625B2 (en) | Test bench transaction synchronization in a debugging environment | |
CN201562275U (en) | Equipment for violation management and error classification during physical verification | |
US8782581B2 (en) | Test bench hierarchy and connectivity in a debugging environment | |
US9679097B2 (en) | Selective power state table composition | |
US10019337B2 (en) | Class object handle tracking | |
US8209650B2 (en) | Method and system for entry and verification of parasitic design constraints for analog integrated circuits | |
US20140331195A1 (en) | Test bench hierarchy and connectivity in a debugging environment | |
US10592623B2 (en) | Assertion statement check and debug | |
US9189582B2 (en) | Programmable pattern aware voltage analysis | |
US8893065B2 (en) | Biometric markers in a debugging environment | |
US20180046746A1 (en) | Integrated circuit design layout optimizer based on process variation and failure mechanism | |
US10296693B2 (en) | Three-dimensional composite solid component modeling | |
US9805156B2 (en) | Selective parasitic extraction | |
US20150234978A1 (en) | Cell Internal Defect Diagnosis | |
US12001771B2 (en) | Variant model-based compilation for analog simulation | |
US20160342728A1 (en) | Visualization Of Analysis Process Parameters For Layout-Based Checks | |
US9183330B2 (en) | Estimation of power and thermal profiles | |
US9910943B2 (en) | Distributed state and data functional coverage | |
JP4881769B2 (en) | Semiconductor integrated circuit design support apparatus, semiconductor integrated circuit design support method, semiconductor integrated circuit design support program | |
US8978002B1 (en) | Rapid expression coverage | |
US20130132917A1 (en) | Pattern Matching Hints | |
CN110750956B (en) | Logic gate level verification method and verification system | |
US10657307B1 (en) | Using runtime information from solvers to measure quality of formal verification | |
JP3941336B2 (en) | Logic circuit verification device | |
US7454680B2 (en) | Method, system and computer program product for improving efficiency in generating high-level coverage data for a circuit-testing scheme |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
AS | Assignment |
Owner name: MENTOR GRAPHICS CORPORATION, OREGON Free format text: ASSIGNMENT OF ASSIGNORS INTEREST;ASSIGNORS:AGARWALA, BADRUDDIN;PARIKH, TARAK;BHAT, VIVEK;AND OTHERS;REEL/FRAME:031215/0908 Effective date: 20130830 |
|
STCF | Information on status: patent grant |
Free format text: PATENTED CASE |
|
MAFP | Maintenance fee payment |
Free format text: PAYMENT OF MAINTENANCE FEE, 4TH YEAR, LARGE ENTITY (ORIGINAL EVENT CODE: M1551) Year of fee payment: 4 |
|
AS | Assignment |
Owner name: SIEMENS INDUSTRY SOFTWARE INC., TEXAS Free format text: MERGER AND CHANGE OF NAME;ASSIGNORS:MENTOR GRAPHICS CORPORATION;SIEMENS INDUSTRY SOFTWARE INC.;REEL/FRAME:056526/0054 Effective date: 20201230 |
|
MAFP | Maintenance fee payment |
Free format text: PAYMENT OF MAINTENANCE FEE, 8TH YEAR, LARGE ENTITY (ORIGINAL EVENT CODE: M1552); ENTITY STATUS OF PATENT OWNER: LARGE ENTITY Year of fee payment: 8 |