+

US20140019924A1 - Biometric markers in a debugging environment - Google Patents

Biometric markers in a debugging environment Download PDF

Info

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
Application number
US13/940,082
Other versions
US8893065B2 (en
Inventor
Badruddin Agarwala
Tarak Parikh
Vivek Bhat
Neeraj Joshi
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Siemens Industry Software Inc
Original Assignee
Mentor Graphics Corp
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Mentor Graphics Corp filed Critical Mentor Graphics Corp
Priority to US13/940,082 priority Critical patent/US8893065B2/en
Assigned to MENTOR GRAPHICS CORPORATION reassignment MENTOR GRAPHICS CORPORATION ASSIGNMENT OF ASSIGNORS INTEREST (SEE DOCUMENT FOR DETAILS). Assignors: AGARWALA, BADRUDDIN, BHAT, VIVEK, JOSHI, NEERAJ, PARIKH, TARAK
Publication of US20140019924A1 publication Critical patent/US20140019924A1/en
Priority to US14/332,157 priority patent/US20140331195A1/en
Application granted granted Critical
Publication of US8893065B2 publication Critical patent/US8893065B2/en
Assigned to SIEMENS INDUSTRY SOFTWARE INC. reassignment SIEMENS INDUSTRY SOFTWARE INC. MERGER AND CHANGE OF NAME (SEE DOCUMENT FOR DETAILS). Assignors: MENTOR GRAPHICS CORPORATION, SIEMENS INDUSTRY SOFTWARE INC.
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • G06F17/5045
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/30Circuit design
    • G06F30/32Circuit design at the digital level
    • G06F30/33Design verification, e.g. functional simulation or model checking
    • G06F30/3323Design verification, e.g. functional simulation or model checking using formal methods, e.g. equivalence checking or property checking
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/30Circuit design
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/30Circuit design
    • G06F30/32Circuit design at the digital level
    • G06F30/33Design verification, e.g. functional simulation or model checking
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/30Circuit design
    • G06F30/32Circuit design at the digital level
    • G06F30/33Design verification, e.g. functional simulation or model checking
    • G06F30/3308Design 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

This application discloses a debug tool to prompting display of at least a portion of a simulated output for a circuit design in a debug window, identifying a marker corresponding to a value in the simulated output has been specified for the debug environment, and prompting 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.

Description

    RELATED APPLICATION
  • 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.
  • TECHNICAL FIELD
  • This application is generally related to electronic design automation and, more specifically, to biometric markers in a debugging environment
  • BACKGROUND
  • 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.
  • SUMMARY
  • 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.
  • DESCRIPTION OF THE DRAWINGS
  • 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.
  • DETAILED DESCRIPTION Illustrative Operating Environment
  • 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 a master computer 103. In the illustrated example, 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. 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 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.
  • 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, the memory 107 stores software instructions 109A that, when executed, will implement a software application for performing one or more operations. The memory 107 also stores data 109B to be used with the software application. In the illustrated embodiment, the data 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 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 109A, but will conventionally be a microprocessor device. For example, one or more of the processor 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 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.
  • With some implementations of the invention, the master computing device 103 may employ one or more processing units 111 having more than one processor core. Accordingly, FIG. 2 illustrates an example of a multi-core processor unit 111 that may be employed with various embodiments of the invention. As seen in this figure, 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. 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. 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. With some processor cores 201, such as the Cell microprocessor created by Sony Corporation, Toshiba Corporation and IBM Corporation, the interconnect 207 may be implemented as an interconnect bus. With other processor units 201, however, such as the Opteron™ and Athlon™ dual-core processors available from Advanced Micro Devices of Sunnyvale, Calif., the interconnect 207 may be implemented as a system request interface device. In any case, 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. Similarly, the memory controller 211 controls the exchange of information between the processor unit 201 and the system memory 107. With some implementations of the invention, the processor units 201 may include additional components, such as a high-level cache memory accessible shared by the processor cores 201.
  • While 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. For example, 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. Also, 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). 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 six 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.
  • Returning now to FIG. 1, the interface device 113 allows the master computer 103 to communicate with the servant computers 117A, 117B, 117C . . . 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). 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, a processor unit 121, an interface device 123, and, optionally, one more input/output devices 125 connected together by a system bus 127. As with the master 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, the processor units 121 may be any type of conventional or custom-manufactured programmable processor device. For example, one or more of the processor 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 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.
  • In the illustrated example, 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.
  • 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 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. 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 the master computer 103, but they also may be different from any data storage devices accessible by the master computer 103.
  • It also should be appreciated that the description of the computer network illustrated in FIG. 1 and FIG. 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 a design verification tool 301 and a debug tool 311 that may be implemented according to various embodiments of the invention. Although 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. Referring to FIG. 3, 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.
  • 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. In some embodiments, 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. In some embodiments, 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. In some embodiments, 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. When the waveform data 308 indicates the circuit design 302 operates differently than 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. Although 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.
  • When 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. For example, 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. In some embodiments, 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, 6B, 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.
  • When the display unit 312 identifies data to be presented, such as 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. In some embodiments, 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. For example, when one of the biometric 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, 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. In some embodiments, 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. In other embodiments, the accentuation unit 314 can prompt presentation the matched values with an accentuation relative to other data presented in a debug window. When 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. 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 to FIG. 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 to FIG. 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 example waveform display window 601 according to various embodiments of the invention. Referring to FIG. 6A, 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. In some embodiments, 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. For example, 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. In some embodiments, 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.
  • Referring to FIG. 6B, 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. 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 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.
  • Although FIG. 6B shows the waveform 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 circuit design display window 701 with marker-based value accentuation according to various embodiments of the invention. Referring to FIG. 7, 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. In some embodiments, 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. For example, 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.
  • Although FIG. 7 shows the circuit design 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 to FIG. 8, 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. In some embodiments, 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. For example, 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.
  • Although FIG. 8 shows the test bench source 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 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. 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 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. For example, 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.
  • 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.
  • CONCLUSION
  • 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)

1. A method comprising:
displaying, by a computing system, at least a portion of a simulated output for a circuit design in a debug window;
identifying, by the computing system, a marker corresponding to a value in the simulated output has been specified for a debug environment; and
accentuating, by the computing system, 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.
2. The method of claim 1, further comprising:
comparing, by the computing system, the value with the marker specified for the debug environment; and
determining, by the computing system, to accentuate the value in the simulated output when the value matches the marker specified for the debug environment.
3. The method of claim 2, wherein determining to accentuate the value in the simulated output is performed when the marker matches a hexadecimal representation of the value, a decimal representation of the value, a binary representation of the value, or a octal representation of the value.
4. The method of claim 2, wherein comparing the value with the marker specified for the debug environment further comprises utilizing regular expression matching to determine whether the marker is located within values of the simulation output.
5. The method of claim 1, further comprising receiving, by the computing system, a selection of the marker corresponding to the value in the simulated output after displaying the simulated output for the circuit design in the debug window.
6. The method of claim 1, further comprising:
displaying, by the computing system, at least a portion of the simulated output for the circuit design in a different debug window; and
accentuating, by the computing system, one or more occurrences of the value in the different debug window relative to other values in the simulated output based, at least in part, on the marker specified for the debug environment.
7. The method of claim 6, wherein the debug window and the different debug window are temporally synchronized with each other.
8. A system comprising:
a display device configured to display at least a portion of a simulated output for a circuit design in a debug window; and
a debug tool configured to identify a marker corresponding to a value in the simulated output has been specified for the debug environment, and accentuate 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.
9. The system of claim 8, wherein the debug tool is configured to compare the value with the marker specified for the debug environment, and determine to accentuate the value in the simulated output when the value matches the marker specified for the debug environment.
10. The system of claim 8, wherein the debug tool is configured to accentuate one or more occurrences of the value in the debug window relative to other values in the simulated output by prompting the display device to alter a presentation of the one or more occurrences of the value in the debug window relative to other values in the simulated output.
11. The system of claim 8, wherein the debug tool is configured to receive a selection of the marker corresponding to the value in the simulated output after the display device displays the simulated output for the circuit design in the debug window.
12. The system of claim 8, wherein the debug tool is configured to display the simulated output for the circuit design in the debug window when the simulated output is different than an expected output for the circuit design.
13. The system of claim 8, wherein the debug tool is configured to display at least a portion of the simulated output for the circuit design in a different debug window, and accentuate one or more occurrences of the value in the different debug window relative to other values in the simulated output based, at least in part, on the marker specified for the debug environment.
14. An apparatus comprising at least one computer-readable memory device storing instructions configured to cause one or more processing devices to perform operations comprising:
prompting display of at least a portion of a simulated output for a circuit design in a debug window;
identifying a marker corresponding to a value in the simulated output has been specified for the debug environment; and
prompting 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.
15. The apparatus of claim 14, wherein the instruction are configured to cause one or more processing devices to perform operations further comprising:
comparing the value with the marker specified for the debug environment; and
determining to accentuate the value in the simulated output when the value matches the marker specified for the debug environment.
16. The apparatus of claim 14, wherein the instruction are configured to cause one or more processing devices to perform operations further comprising prompting alteration of a presentation of the one or more occurrences of the value in the debug window relative to other values in the simulated output.
17. The apparatus of claim 14, wherein the debug window is configured to display the simulated output for the circuit design as waveform data.
18. The apparatus of claim 14, wherein the debug window includes simulated output for the circuit design and at least one of a circuit design source code, a test bench source code, or a simulation log file including operations of the test bench source code during simulation.
19. The apparatus of claim 14, wherein the instruction are configured to cause one or more processing devices to perform operations further comprising determining a selection of the marker corresponding to the value in the simulated output was received after displaying the simulated output for the circuit design in the debug window.
20. The method of claim 14, wherein the instruction are configured to cause one or more processing devices to perform operations further comprising:
displaying at least a portion of the simulated output for the circuit design in a different debug window; and
accentuating one or more occurrences of the value in the different debug window relative to other values in the simulated output based, at least in part, on the marker specified for the debug environment.
US13/940,082 2012-06-22 2013-07-11 Biometric markers in a debugging environment Active US8893065B2 (en)

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)

* Cited by examiner, † Cited by third party
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)

* Cited by examiner, † Cited by third party
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)

* Cited by examiner, † Cited by third party
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)

* Cited by examiner, † Cited by third party
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

Patent Citations (42)

* Cited by examiner, † Cited by third party
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)

* Cited by examiner, † Cited by third party
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

点击 这是indexloc提供的php浏览器服务,不要输入任何密码和下载