WO2022260870A1 - Deterministic netlistic transformations in a multi-processor parallel computing system - Google Patents

Deterministic netlistic transformations in a multi-processor parallel computing system Download PDF

Info

Publication number
WO2022260870A1
WO2022260870A1 PCT/US2022/031159 US2022031159W WO2022260870A1 WO 2022260870 A1 WO2022260870 A1 WO 2022260870A1 US 2022031159 W US2022031159 W US 2022031159W WO 2022260870 A1 WO2022260870 A1 WO 2022260870A1
Authority
WO
WIPO (PCT)
Prior art keywords
components
component
netlist
visited
identifiers
Prior art date
Application number
PCT/US2022/031159
Other languages
French (fr)
Inventor
Mikhail Bershteyn
Oliver COUDERT
Florent DURU
Original Assignee
Synopsys, Inc.
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
Priority claimed from US17/751,253 external-priority patent/US20220391568A1/en
Application filed by Synopsys, Inc. filed Critical Synopsys, Inc.
Priority to KR1020237042096A priority Critical patent/KR20240016294A/en
Priority to CN202280033333.7A priority patent/CN117280350A/en
Priority to EP22733798.7A priority patent/EP4352647A1/en
Publication of WO2022260870A1 publication Critical patent/WO2022260870A1/en

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/30Circuit design
    • G06F30/32Circuit design at the digital level

Definitions

  • the present disclosure relates to parallel processing of electronic circuit designs in general, and more specifically to obtaining deterministic results of netlist transformations in a multi-processor parallel computing system.
  • a circuit design is represented as a netlist of components connected via nets.
  • Several circuit design processes rely on tire order of components in the netlist of the circui t design, for example, logic emulation in a field programmable gate array (FPGA).
  • Components of the netlist are assigned indexes to specify an order which is used for subsequent processing related to circuit design and verification. Due to an increase in a number of components in circuit designs, circuit designs are typically processed using multiple processors. When netlists are processed using multiple processors, ensuring deterministic assignment of new unique indices becomes challenging. With parallel processing, the assignment of new unique indices can be non- deterministic and can produce different results with different executions.
  • a system obtains deterministic results of netlist transformation in a multi-processor parallel computing system.
  • the system receives a netlist comprising a set of components and connections between components of a circuit design.
  • the set of components represents components with assigned identifiers.
  • the system determines identifiers for remaining components of the netlist as follows.
  • the system visits a component of the remaining components of the netlist in a topological order starting from the set of components such that all components visited before the component have the assigned identifiers and are included in the set of components.
  • the system assigns a new identifier to the visited component.
  • the new identifier is generated based on properties of the visited component and a connection of the visited component with at least one component of the set of components.
  • FIG. 1 illustrates the overall system environment for processing a netlist using multi -processors, according to an embodiment.
  • FIG. 2 is a block diagram of a system architecture of a computing system for assigning identifiers to components of a netlist, according to an embodiment.
  • FIG. 3 illustrates a process for assigning identifiers to components of a netl ist using reverse topological order hash computation, according to an embodiment.
  • FIG. 4 illustrates an example netlist produced by a series of parallel transformations, according to an embodiment.
  • FIG. 5 illustrates a process for assigning identifiers to components of a netlist using direct topological order hash computation, according to another embodiment.
  • FIG. 6 illustrates an example netlist produced by a series of parallel transformations, according to another embodiment.
  • FIG. 7 illustrates a process for handling strongly connected components while assigning identifiers to components of a netlist, according to another embodiment.
  • FIG. 8 illustrates an example netlist illustrating processing of strongly connected components, according to another embodiment.
  • FIG. 9 depicts a flowchart of various processes used during the design and manufacture of an integrated circuit in accordance with some embodiments.
  • FIG. 10 depicts a diagram of an example emulation system in accordance with some embodiments.
  • FIG. 11 depicts a diagram of an example computer system in which embodiments may operate.
  • the system establishes deterministic component indexing while performing parallel transformations of the netlist. These indices are assigned before executing design procedures that are order sensitive. Examples of such procedures include partitioning of netlist by assigning the netlist components to non-overlapping partitions that satisfy certain criteria relevant to the application, for example, a maximum group size, and a number of connections between the groups. Such procedures rely on a deterministic component indexing and produce unpredictable results with non-detemiimstie component indexing.
  • the system according to various embodiments performs deterministic component indexing using multiple processors. An index assigned to a component may also be referred to as an identifier.
  • Hie techniques disclosed may he used for procedures that modify the netlist, for example, by adding components to the netlist.
  • Circuit design procedures can modify netlists by performing transformations such as, constant propagation, buffer/invertor optimization, logic refactoring, clock circuit simplification, partitioning, and logic replication.
  • transformations such as, constant propagation, buffer/invertor optimization, logic refactoring, clock circuit simplification, partitioning, and logic replication.
  • the system and procedures according to various embodiments allow component indexing in parallel for such applications.
  • FIG. 1 illustrates the overall system environment for processing a netlist using multi-processors, according to an embodiment.
  • FIG. 1 shows multiple computing systems 110A, 11GB, 1 IOC processing a netlist 120.
  • a single computing system 110 may execute multiple processes or threads that execute concurrently for processing different portions of the netlist.
  • Each computing system 110.4, 110B, 1 IOC performs corresponding steps 115A, 115B, 115C to assign identifiers to components of the netlist.
  • FIG. 2 is a block diagram of a system architecture of a computing system for assigning identifiers to components of a netlist, according to an embodiment.
  • Hie computing system 110 includes a netlist modification component 210, an identifier assignment component 220, an SCC (strongly connected component) processing component 230, and a netlist store 240.
  • the components of the computing system 110 are implemented by one or more processing devices (also referred to as computer processors), for example, the processing device shown in FIG. 11.
  • the netlist store 240 may store a portion of the netlist being processed or the complete netlist being processed.
  • the netlist may be represented as a graph including a set of nodes representing uniquely indexed components and a set of edges representing connections between various ports of such components.
  • a logic gate is a netlist component that produces an output value determined by a Boolean function of input values.
  • a flip/flop is a netlist component capable of storing a bit of information permanently and overwrite it only upon arrival of predetermined value change (known as edge) on one of its inputs.
  • a latch is a netlist component capable of storing a bit of information permanently and overwrite it only upon arrival of predetermined value on one of its inputs.
  • Ports are a generalized term encompassing all inputs and outputs of a netlist component.
  • the netlist modification component 210 processes a netlist N1 to obtain a modified netl ist A 7 2.
  • the modified netlist N2 may have a different set of components compared to the previous netlist NI that was processed. For example, in die process of netlist transformation, existing components of netlist AT may be eliminated, and new components created and added to the modified netlist N2.
  • the identifier assignment component 220 assigns unique indices to the new components added to the modified netlist N2.
  • the previous netlist N1 may have assigned identifiers to ail components of the previous netlist N1.
  • the modified netlist N2 has previously assigned identifiers to all components that are common with the netlist NJ.
  • the modified netlist may include new components.
  • the computing systems 110 assigns identifiers to the components that were added to the modified netlist N2.
  • the system identifies loops by identifying strongly connected components (SCCs).
  • SCC processing component 230 identifies strongly connected components in the graph represented by the netlist.
  • the computing system 110 processes SCCs as described in the process illustrated in FIG. 7.
  • FIG. 3 illustrates a process for assigning identifiers to components of a netlist using reverse topological order hash computation, according to an embodiment.
  • Tire steps are described as being performed by a system, for example, the computing system 110.
  • the system performs the step of receiving 310 a netlist having a set SI of components that have previously assigned identifiers. For example, a set 82. of new components may be added to a netlist that has a set SI of components.
  • a component with an assigned identifier is also referred to as an assigned component.
  • the system repeats the steps 320, 330, and 340 while there are components of the netlist that are not processed, i.e., components that have not been assigned an identifier yet.
  • the system performs the step 320 of visiting a remaining component of the netlist that does not have an assigned identifier.
  • the remaining components belong to the set S2 of components without assigned identifiers.
  • the system visits the remaining components in a topological order starting from components belonging to the set S I of assigned components. In an embodiment, the system visits the remaining components in a reverse topological order starting from components belonging to the set SI of assigned components.
  • the system performs the step 330 of assigning a new identifier to the visited component.
  • the system uses unique identifiers generated in the order (ascending or descending) of hash values produced using a hash function that is an integer function such that its value belongs to a given integer interval [0, V], Accordingly, the hash values provide the order of the new indices. Using indices that are generated in the order of the hash values rather than using the hash values themselves as indices results in generating a more compact se t of deterministic indices rather than a set with unused indices within.
  • the value of the hash function is uniquely determined by the arguments of the hash function and the order of the arguments. The probability of obtaining the same value of hash function with different sets of arguments is inversely proportionate to the size of the interval V.
  • the hash value is a result of executing hash function with a given set of arguments.
  • a topological ordering of components in a netlist is an ordering in which any component occurs after the components connected to its inputs.
  • Reverse topological ordering of components in a netlist is an ordering in which any component occurs after the components connected to its outputs.
  • Hie system performs the step 340 of adding the visited component to the set SI of assigned components since the visited component has an assigned identifier.
  • FIG. 4 illustrates an example netlist produced by a series of parallel transformations, according to an embodiment.
  • Boxes 13 and 14 shown filled with striped pattern represent netlist components that retain their original deterministic indices.
  • Boxes 11 and 12. shown without fill represent components newly created during parallel netlist transformation, it is further appreciated that similarly in FIG. 6 and FIG. 8, boxes shown fdled with striped pattern represent netlist components that retain their original deterministic indices, while boxes shown without fill represent components newly created during parallel netlist transformation.
  • each component is assigned a structural hash value.
  • the hash value depends upon various factors including (1) indices of components that retain deterministic positions that were not changed by the transformations, (2) connections between components, and (3) properties of components including, but not limited to, (a) types of components, for example, a logic gate, a register, and a latch., (b) a logical operation performed by the components, for example, Boolean functions such as “and”, and “or” , and (c) sets of ports including input ports and output ports.
  • the system generates an identifier using hash functions as follows.
  • the system computes a function AH( vO, ... , vn) known as an array hash function, winch takes an arbitrary number n of integers vO, ... , vn, and produces a hash value in a given range.
  • the hash value produced by the function AH is uniquely determined by the values of the integer arguments of the function AH and their order.
  • a function CH(component) which takes a component as argument and produces a hash value m a given range.
  • the value produced by the CH function for a component is uniquely determined by special properties of the component, including hut not limited to: (!) the component’s type, for example, logic gate, register, latch, etc. (2) a Boolean function represented by the component if applicable, for example, “and”, and “or”, and (3) the set of ports of the component.
  • component type may be represented by an integer value (e.g., 1 for logic gate, 2 for register) and used in the first position of hashed array.
  • Boolean function can be represented as a truth table and used in the second position.
  • the range of hash values used is determined so as to maximize the speed of hash computation while minimizing tire probability of hash collision. For example, if the system uses a 64-bit hash value then the probability of two uniformly distributed random numbers assuming the same value is equal to I/2. 64 . If such probability is deemed high (e.g., greater than a threshold), a larger range (e.g., 128-bit) may be used.
  • every component has a single driver. Therefore, any two components have their hash values computed from a unique set of arguments. Flash collision, therefore, can only occur with a probability determined by the range of hash values as described above.
  • a component may have mul tiple outputs. If a component has multiple outputs, the system computes a distinct hash value for each output. The hash value of the component itself may be determined using the hash values of all the outputs of the component.
  • FIG. 5 illustrates a process for assigning identifiers to components of a netlist based on a direct topological order, according to another embodiment.
  • the process shown in FIG. 5 is illustrated using FIG. 6 that illustrates an example netlist produced by a series of parallel transformations, according to another embodiment.
  • step 510 by visiting every remaining component in direct topological order such that a component is visited only when all upstream components have been assigned a hash value.
  • FIG. 6 shows component 21 that deterministically retained its original index, and newly created components 22, 23, 24. in this case, components 22, 23, and 24 do not have any deterministically indexed components downstream, so the procedure outlined above is not applicable. Such a situation may be possible, and the system accounts for it as follows.
  • H[24] AH(CH(24), H[2I], 1).
  • H[23] AH(CH(23), H[22], 1).
  • Some netiists may include loops that require additional processing for assigning identifiers.
  • the system identifies strongly connected components and processes them as follow s.
  • a strongly connected component is a set of nodes of a graph such that each node is reachable from any other node within the set.
  • FIG. 7 illustrates a process for handling strongly connected components while assigning identifiers to components of a netlist, according to another embodiment. The process shown in FIG. 7 is illustrated using the example netlist shown in FIG. 8.
  • the process illustrated in FIG. 7 is used to establish deterministic topological order in a group of strongly connected components (SCC) that are newly created and do not have an initial deterministic index.
  • Tire system establishes a topological order for a group of strongly connected components by identifying a component output that leads to components that have deterministic indices and ignoring a connection from this output to any other components in the group of strongly connected components. Ignoring a connection from an SCC may cause the corresponding set of components to lose the property of being strongly connected since that set of components does not satisfy the properties of an SCC anymore. The connection is simply removed from consideration in determining topological order but is retained for other processing based on the netlist.
  • This step is referred to as breaking the SCC by removing a connection.
  • the system further establishes topological order for groups of strongly connected components by identifying a component input that leads to components that retain deterministic indices and ignoring a connection from other inpu ts of this component to any other components m the SCC.
  • FIG. 8 illustrates an example netlist illustrating processing of SCCs, according to another embodiment.
  • FIG. 8 show's components 31 and 35 that deterministically retain their original indices, and new ly created components 32, 33, 34.
  • Each of the components 32, 33, 34 has deterministically indexed component 35 downstream, so the procedure of reverse topological order hash computation is applicable. They also have component 31 upstream so the procedure of direct topological order hash computation is also applicable.
  • components 33 and 34 are strongly connected since each is reachable from the other (i.e., an output of component 33 is fed to cm input of component 34, and an output of component 34 is fed to an input of component 33), and topological ordering between them cannot he uniquely established.
  • the resulting hash values may be different for components 32, 33, and 34.
  • the system establishes such order deterministically and independent of their temporary indices as follows.
  • the system identifies 710 an SCC in the netlist.
  • the system determines the inputs and outputs of the SCC.
  • the input of the SCC is an input port of a component that belongs to the SCC while this input port is connected to a component that does not belong to the SCC.
  • the output of the SCC is an output port of a component that belongs to the SCC while this output port is also connected to a component that does not belong to the SCC.
  • the SCC includes components 33 and 34. This SCC has one output that goes from component 33 to component 35 and two inputs, one that goes from component 31 to component 34, and one that goes from component 32 to component 33,
  • the system identifies outputs that have downstream components with deterministic indices, in FIG. 8, this is an output leading to component 35. If there are several such outputs, the system selects an output that connects a component with the lowest deterministic index.
  • the system performs step 720 that breaks the SCC by removing a connection from this output to components inside the SCC from consideration in determining a topological order, if several outputs lead to the same component of the smallest deterministic index, the system removes all of them, in FIG. 8, the connection from 33 to 34 will he removed. If this establishes a topological order the procedure is completed, for example, if these steps are executed on the netlist of FIG. 8, the procedure will be complete since a topological order is established.
  • the system identifies a new SCC and repeats from step 710. if there are no more outputs that lead to a component with deterministic index, the system proceeds to step 730.
  • the system identifies inputs to the SCC that have at least one upstream component with a deterministic index. In FIG. 8, this will be a connection from 32 to 33 and a connection from 31 to 34.
  • the system selects an input that leads to a component with the lowest deterministic index.
  • the system performs step 730 that breaks the SCC by removing connections from input component to components inside SCC from consideration in determining a topological order, if several inputs lead to the same component of the smallest deterministic index, the system removes all of them.
  • connections from 33 to 34 and from 34 to 33 will both be removed. If this establishes a topological order, for example, as shown in FIG. 8, the procedure is completed. Otherwise, the system determines a new SCC and repeats from step 710. If there are no more inputs that lead to a component with deterministic index, the system proceeds to step 740.
  • the system processes the ease of an 8CC that has no inputs or outputs that lead to components with deterministic indices.
  • the system performs step 740 that breaks the SCC on the component with the smallest internal hash value. Accordingly, the system computes CH(i) for all components of SCC.
  • the system identifies the components(s) with the smallest value of CH(i). For all of them, the system removes connections from their inputs to components inside SCC from consideration in determining topological order.
  • FIG. 9 illustrates an example set of processes 900 used during the design, verification, and fabrication of an article of manufacture such as an integrated circuit to transform and verify design data and instructions that represent the integrated circuit.
  • Each of these processes can be structured and enabled as multiple modules or operations.
  • the term ‘EDA ' signifies the term ‘Electronic Design Automation. '’
  • These processes start with the creation of a product idea 910 with information supplied by a designer, information which is transformed to create an article of manufacture that uses a set of EDA processes 912.
  • the design is taped-out 934, which is when artwork (e.g., geometric patterns) for the integrated circuit is sent to a fabrication facility to manufacture the mask set, which is then used to manufacture the integrated circuit.
  • a semiconductor die is fabricated 936 and packaging and assembly processes 938 are performed to produce the finished integrated circuit 940.
  • Specifications for a circuit or electronic structure may range from low-level transistor material layouts to high-level description languages.
  • a high-level of representation may he used to design circuits and systems, using a hardware description language ⁇ ' 1 IDF ) such as VHDL, Verilog, System Verilog, SystemC, MyHDL or OpenVera.
  • the HDL description can be transformed to a logic-level register transfer level (‘RTI/ ) description, a gate-level description, a layout-level description, or a mask-level description.
  • RTI/ logic-level register transfer level
  • Each lower representation level that is a more concrete description adds more useful detail into the design description, for example, more details for the modules that include the description.
  • the lower levels of representation that are more concrete descriptions can be generated by a computer, derived from a design library, or created by another design automation process.
  • SPICE P level of representation language for specifying more detailed descriptions
  • SPICE is used for detailed descriptions of circuits with many analog components. Descriptions at each level of representation are enabled for use by the corresponding tools of that layer (e.g., a formal verification tool).
  • a design process may use a sequence depicted in Fig. 9. The processes described by be enabled by EDA products (or tools).
  • system design 914 functionality of an integrated circuit to be manufactured is specified.
  • the design may be optimized for desired characteristics such as power consumption, performance, area (physical and/or lines of code), and reduction of costs, etc. Partitioning of the design into different types of modules or components can occur at this stage.
  • modules or components in the circuit are specified in one or more description languages and the specification is checked for functional accuracy.
  • the components of the circuit may be verified to generate outputs that match the requirements of the specification of the circuit or system being designed.
  • Functional verification may use simulators and other programs such as testbench generators, static HDL checkers, and formal verifiers, in some embodiments, special systems of components referred to as ‘emulators’ or ‘prototyping systems ' are used to speed up the functional verification ,
  • HDL code is transformed to a netlist.
  • a netlist may be a graph structure where edges of the graph structure represent components of a circuit and where the nodes of the graph structure represent how the components are interconnected.
  • Both the HDL code and the netlist are hierarchical articles of manufacture that can be used by an EDA product to verify that the integrated circuit, when manufactured, performs according to the specified design.
  • the netlist can be optimized for a target semiconductor manufacturing technology. Additionally, the finished integrated circuit may be tested to verify that the integrated circuit satisfies the requirements of the specification.
  • netlist verification 920 the netlist is checked for compliance with timing constraints and for correspondence with the HDL code.
  • design planning 92.2 an overall floor plan for the integrated circuit is constructed and analyzed for timing and top-level routing.
  • layout or physical implementation 924 physical placement (positioning of circ uit components such as transistors or capacitors) and routing (connection of the circuit components by multiple conductors) occurs, and the selection of cells from a library to enable specific logic functions can be performed.
  • the tenn ‘cell’ may specify a set of transistors, other components, and interconnections that provides a Boolean logic function (e.g., AND, OR, NOT, XOR) or a storage function (such as a flipflop or latch).
  • a circuit ‘block’ may refer to two or more cells. Both a cell and a circuit block can be referred to as a module or component and are enabled as both physical structures and in simulations. Parameters are specified for selected cells (based on ‘standard cells’) such as size and made accessible in a database for use by EDA products.
  • the circuit function is verified at the layout level, which permits refinement of the layout design.
  • the layout design is checked to ensure that manufacturing constraints are correct, such as DRC constraints, electrical constraints, lithographic constraints, and that circuitry function matches the HDL design specification.
  • manufacturing constraints such as DRC constraints, electrical constraints, lithographic constraints, and that circuitry function matches the HDL design specification.
  • resolution enhancement 930 the geometry of the layout is transformed to improve how the circuit design is manufactured.
  • tape-out data is created to be used (after lithographic enhancements are applied if appropriate) for production of lithography masks.
  • mask data preparation 932 the ‘tape-out’ data is used to produce lithography masks that are used to produce finished integrated circuits.
  • a storage subsystem of a computer system may be used to store the programs and data stractures that are used by some or all of the EDA products described herein, and products used for development of cells for the library ' and for physical and logical design that use the library.
  • FIG. 10 depicts a diagram of an example emulation environment 1000.
  • An emulation environment 1000 may be configured to verify the functionality of the circuit design.
  • Hie emulation environment 1000 may include a host system 1007 (e.g., a computer that is part of an EDA system) and an emulation system 1002 (e.g., a set of programmable devices such as Field Programmable Gate Arrays (FPGAs) or processors).
  • the host system generates data and information by using a compiler 1010 to structure the emulation system to emulate a circuit design.
  • a circuit design to be emulated is also referred to as a Design Under Test (‘DUT’) where data and information from the emulation are used to verify the functionality' of the DUT.
  • DUT Design Under Test
  • the host system 1007 may include one or more processors. In the embodiment where the host system includes multiple processors, the functions described herein as being performed by the host system can be distributed among the multiple processors.
  • the host system 1007 may include a compiler 1010 to transform specifications written in a description language that represents a DUT and to produce data (e.g., binary data) and information that is used to structure the emulation system 1002 to emulate the DUT.
  • Hie compiler 1010 can transform, change, restructure, add new functions to, and/or control the timing of the OUT.
  • the host system 1007 and emulation system 1002 exchange data and information using signals carried by an emulation connection.
  • the connection can be, but is not limited to, one or more electrical cables such as cables with pin structures compatible with the Recommended Standard 232 (RS232) or universal serial bus (USB) protocols.
  • Hie connection can be a wired communication medium or network such as a local area network or a wide area network such as the internet.
  • the connection can be a wireless communication medium or a network with one or more points of access using a wireless protocol such as BLUETOOTH or IEEE 602.11.
  • Hie host system 1007 and emulation system 1002 can exchange data and information through a third device such as a network server,
  • the emulation system 1002 includes multiple FPGAs (or other modules) such as FPGAs 1004 ] and 1004?. as well as additional FPGAs to 1Q04N.
  • Each FPGA can include one or more FPGA interfaces through which the FPGA is connected to other FPGAs (and potentially other emulation components) for the FPGAs to exchange signals.
  • An FPGA interface can be referred to as an input/output pin or an FPGA pad.
  • an emulator may include FPGAs, embodiments of emulators can include other types of logic blocks instead of, or along with, the FPGAs for emulating DU ' Ts.
  • the emulation system 1002 can include custom FPGAs, specialized ASICs for emulation or prototyping, memories, and input/output devices.
  • a programmable device can include an array of programmable logic blocks and a hierarchy of interconnections that can enable the programmable logic blocks to be interconnected according to the descriptions in the HDL code.
  • Each of the programmable logic blocks can enable complex combinational functions or enable logic gates such as AND, and XOR logic blocks.
  • the logic blocks also can include memory elements/devices, which can be simple latches, flip-flops, or other blocks of memory. Depending on the length of the interconnections between different logic blocks, signals can arrive at input terminals of the logic blocks at different times and thus may be temporarily stored in the memory elements/deviees.
  • FPGAs 10041 - 1004N may be placed onto one or more boards 1012: and 1012? as well as additional boards through 1012M. Multiple boards can be placed into an emulation unit 1014:. The boards within an emulation unit can be connected using the backplane of the emulation unit or any other types of connections. In addition, multiple emulation units (e.g., 1014: and 1014? through 1014K) can be connected to each other by cables or any other means to form a multi- emulation unit system.
  • the host system 1007 transmits one or more bit files to the emulation system 1002,
  • the bit files may specify a description of the DUT and may further specify partitions of the DUT created by the host system 1007 with trace and injection logic, mappings of the partitions to the FPGAs of the emulator, and design constraints.
  • the emulator uses tire bit files, the emulator structures the FPGAs to perform the functions of the DUT.
  • one or more FPGAs of the emulators may have the trace and injection logic built into the silicon of the FPGA. In such an embodiment, the FPGAs may not be structured by the host system to emulate trace and injection logic.
  • the host system 1007 receives a description of a DUT that is to be emulated, in some embodiments, the DUT description is in a description language (e.g., a register transfer language (RTL)).
  • the DUT description is in netlist level files or a mix of netlist level files and HDL files, if part of the DUT description or the entire DUT description is in an HDL, then the host system can synthesize the DUT description to create a gate level netlist using the DUT description.
  • a host system can use the netlist of the DUT to partition the DUT into multiple partitions where one or more of the partitions include trace and injection logic.
  • the trace and injection logic traces interface signals that are exchanged via the interfaces of an FPGA.
  • the trace and injection logic can inject traced interface signals into the logic of the FPGA.
  • the host system maps each partition to an FPGA of the emulator.
  • tire trace and injection logic is included in select partitions for a group of FPGAs.
  • the trace and injection logic can be built into one or more of the FPGAs of an emulator.
  • the host system can synthesize multiplexers to be mapped into the FPGAs.
  • the multiplexers can be used by the trace and injection logic to inject interface signals into the DUT logic.
  • the host system creates bit files describing each partition of the DUT and the mapping of the partitions to the FPGAs. For partitions in which trace and injection logic are included, the bit files also describe the logic that is included.
  • the bit files can include place and route information and design constraints.
  • the host system stores the bit files and information describing which FPGAs are to emulate each component of the DUT (e.g,, to which FPGAs each component is mapped).
  • the host system Upon request, the host system transmits the bit files to the emulator.
  • the host system signals the emulator to start the emulation of the DUT.
  • the host system receives emulation results from the emulator through the emulation connection.
  • Emulation results are data and information generated by the emulator during the emulation of the DUT which include interface signals and states of interface signals that have been traced by the trace and injection logic of each FPGA.
  • the host system can store the emulation results and/or transmits the emulation results to another processing system.
  • a circuit designer can request to debug a component of the DUT. If such a request is made, the circuit designer can specify a time period of the emulation to debug.
  • the host system identifies which FPGAs are emulating the component using the stored information.
  • the host system retrieves stored interface signals associated with the time period and traced by the trace and injection logic of each identified FPGA.
  • the host system signals the emulator to re-emuiate the identified FPGAs.
  • the host system transmits the retrieved interface signals to the emulator to re-emulate the component for the specified time period, fire trace and injection logic of each identified FPGA injects its respective interface signals received from the host system into the logic of the DUT mapped to the FPGA. in case of multiple reemulations of an FPGA, merging the results produces a full debug vie w.
  • the host system receives, from the emulation system, signals traced by logic of the identified FPGAs during the re-emulation of the component.
  • the host system stores the signals received from the emulator.
  • the signals traced during the re-emulation can have a higher sampling rate than the sampling rate during the initial emulation.
  • a traced signal can include a saved state of the component every X milliseconds.
  • the traced signal can include a saved state every Y milliseconds where Y is less than X.
  • the host system can retrieve the stored signal and display a plot of the signal. For example, the host system can generate a waveform of the signal. Afterwards, the circuit designer can request to re-emulate the same component for a different time period or to re-emulate another component.
  • a host system 1007 and/or the compiler 1010 may include sub-systems such as, but not limited to, a design synthesizer sub-system, a mapping sub-system, a ran time sub-system, a results sub-system, a debug sub-system, a waveform sub-system, and a storage sub-system.
  • the sub-systems can be structured and enabled as individual or multiple modules or two or more may be structured as a module. Together these sub-systems structure the emulator and monitor the emulation results.
  • the design synthesizer sub-system transforms the HDL that is representing a DUT 1005 into gate level logic. For a DUT that is to be emulated, the design synthesizer sub-system receives a description of the DUT. if the description of the DUT is fully or partially in HDL (e.g., RTL or other level of representation), the design synthesizer sub-system synthesizes the HOL of the DUT to create a gate-level netlist with a description of the DUT in terms of gate level logic.
  • HDL e.g., RTL or other level of representation
  • the mapping sub-system partitions DUTs and maps the partitions into emulator FPGAs.
  • the mapping sub-system partitions a DUT at the gate level into a number of partitions using the netlist of the D U T.
  • the mapping sub-system retrieves a gate level description of the trace and injection logic and adds the logic to the partition.
  • the trace and injection logic included in a partition is used to trace signals exchanged via the interfaces of an FPGA to which the partition is mapped (trace interface signals).
  • the trace and injection logic can be added to the DUT prior to the partitioning.
  • the trace and injection logic can be added by the design synthesizer sub-system prior to or after the synthesizing the HDL of the DUT.
  • the mapping sub-system can include additional tracing logic in a partition to trace the states of certain DUT components that are not traced by the trace and injection.
  • the mapping sub-system can include the additional tracing logic in the DUT prior to the partitioning or in partitions after the partitioning.
  • the design synthesizer sub-system can include the additional tracing logic m an HDL description of the DUT prior to synthesizing the HDL description.
  • the mapping sub-system maps each partition of the DUT to an FPGA of the emulator. For partitioning and mapping, the mapping sub-system uses design rules, design constraints (e.g., timing or logic constraints), and information about the emulator. For components of the DUT, the mapping sub-system stores information in the storage sub-system describing which FPGAs are to emulate each component.
  • the mapping sub-system uses the partitioning and the mapping to generate one or more bit flies that describe the created partitions and the mapping of logic to each FPGA of the emulator.
  • the hit files can include additional information such as constraints of the DUT and routing information of connections between FPGAs and connections within each FPGA.
  • the mapping sub-system can generate a bit file for each partition of the DUT and can store the bit file in the storage sub-system .
  • the mapping sub-system Upon request from a circuit designer, the mapping sub-system transmits the bit files to the emulator, and the emulator can use the bit files to structure the FPGAs to emulate the DUT.
  • the mapping sub-system can generate a specific structure that connects the specialized ASICs to the DUT. In some embodiments, the mapping sub-system can save the information of the traced/injeeted signal and where the information is stored on the specialized ASIC.
  • the ran time sub-system controls emulations performed by the emulator.
  • the ran time sub-system can cause the emulator to start or stop executing an emulation.
  • the run time sub-system can provide input signals and data to the emulator.
  • the input signals can be provided directly to the emulator through the connection or indirectly through other input signal devices.
  • the host system can control an input signal device to provide the input signals to the emulator.
  • the input signal device can be, for example, a test board (directly or through cables), signal generator, another emulator, or another host system.
  • the results sub-system processes emulation results generated by the emulator. During emulation and/or after completing the emulation, the results sub-system receives emulation results from the emulator generated during the emulation.
  • the emulation results include signals traced during the emulation.
  • the emulation results include interface signals traced by the trace and injection logic emulated by each FPGA and can include signals traced by additional logic included in the DUT.
  • Each traced signal can span multiple cycles of the emulation.
  • a traced signal includes multiple states and each state is associated with a time of the emulation.
  • the results sub-system stores the traced signals in the storage sub-system. For each stored signal, the results sub-system can store information indicating which FPGA generated the traced signal.
  • the debug sub-system allows circuit designers to debug DUT components. After the emulator has emulated a DUT and the results sub-system has received the interface signals traced by the trace and injection logic during the emulation, a circuit designer can request to debug a component of the DUT by re-emulating the component for a specific time period. In a request to debug a component, the circuit designer identifies the component and indicates a time period of the emulation to debug. The circuit designer’s request can include a sampling rate that indicates how often states of debugged components should be saved by logic that traces signals.
  • the debug sub-system identifies one or more FPGAs of the emulator that are emulating the component using the information stored by the mapping sub-system in the storage sub-system. For each identified FPGA, the debug sub-system retrieves, from the storage subsystem, interface signals traced by the trace and injection logic of the FPGA during tire time period indicated by the circuit designer. For example, the debug sub-system retrieves states traced by the trace and injection logic that are associated with the time period.
  • the debug sub-system transmits the retrieved interface signals to the emulator.
  • the debug sub-system instructs the debug sub-system to use the identified FPGAs and for the trace and injection logic of each identified FPGA to inject its respective traced signals into logic of the FPGA to re-emulate the component for the requested time period.
  • the debug sub-system can further transmit the sampling rate provided by the circuit designer to the emulator so that the tracing logic traces states at the proper intervals.
  • the emulator can use the FPGAs to which the component has been mapped. Additionally, the re-emulation of the component can be performed at any point specified by the circuit designer.
  • the debug sub-system can transmit instructions to the emulator to load multiple emulator FPGAs with the same configuration of the identified FPGA.
  • the debug sub-system additionally signals the emulator to use the multiple FPGAs in parallel.
  • Each FPGA from the multiple FPGAs is used with a different time window of the interface signals to generate a larger time window in a shorter amount of time.
  • the identified FPGA can require an hour or more to use a certain amount of cycles.
  • the emulator can require a few minutes tor the FPGAs to collectively use all the cycles.
  • a circuit designer can identify a hierarchy or a list of DUT signals to re-emulate. To enable this, the debug sub-system determines the FPGA needed to emulate the hierarchy or list of signals, retrie ves the necessary interface signals, and transmits the retrieved interface signals to the emulator for re-emulation. Thus, a circuit designer can identify' any element (e.g,, component, device, or signal) of the DUT to debug/re-emulate.
  • the waveform sub-system generates waveforms using the traced signals. If a circuit designer requests to view a waveform of a signal traced during an emulation run, the host system retrieves the signal from the storage sub-system. The waveform sub-system displays a plot of the signal. For one or more signals, when the signals are received from the emulator, the waveform sub-system can automatically generate the plots of the signals.
  • FIG. 11 il lustrates an example machine of a computer system 1100 within wliicli a set of instructions, for causing the machine to perform any one or more of the methodologies discussed herein, may be executed, in alternative implementations, the machine may he connected (e.g., networked) to other machines in a LAN, an intranet, an extranet, and/or the Internet.
  • the machine may operate in the capacity of a server or a client machine in client-server network environment, as a peer machine in a peer-to-peer (or distributed) network environment, or as a server or a client machine in a cloud computing infrastructure or environment.
  • Hie machine may be a personal computer (PC), a tablet PC, a set-top box (STB), a Personal Digital Assistant (PDA), a cellular telephone, a web appliance, a sen or. a network router, a switch or bridge, or any machine capable of executing a set of instructions (sequential or otherwise) that specify actions to be taken by that machine.
  • PC personal computer
  • PDA Personal Digital Assistant
  • STB set-top box
  • PDA Personal Digital Assistant
  • example computer system 1100 includes a processing device 1102, a main memory 1104 (e.g., read-only memory (ROM), flash memory, dynamic random access memory (DRAM) such as synchronous DRAM (SDRAM), a static memory 1106 (e.g., flash memory ' , static random access memory ⁇ (SRAM), etc.), and a data storage device 1118, which communicate with each other via a bus 1130.
  • main memory 1104 e.g., read-only memory (ROM), flash memory, dynamic random access memory (DRAM) such as synchronous DRAM (SDRAM), a static memory 1106 (e.g., flash memory ' , static random access memory ⁇ (SRAM), etc.
  • SDRAM synchronous DRAM
  • static memory 1106 e.g., flash memory ' , static random access memory ⁇ (SRAM), etc.
  • SRAM static random access memory ⁇
  • Processing device 1102 represents one or more processors such as a microprocessor, a central processing unit, or the like. More particularly, the processing device may be complex instruction set computing (CISC) microprocessor, reduced instruction set computing (RISC) microprocessor, very' long instruction word (VLIW) microprocessor, or a processor implementing other instruction sets, or processors implementing a combination of instruction sets. Processing device 1102 may also be one or more special-purpose processing devices such as an application specific integrated circuit (ASIC), a field programmable gate array (FPGA), a digital signal processor (DSP), network processor, or the like. The processing device 1102 may he configured to execute instructions 1126 for performing the operations and steps described herein.
  • ASIC application specific integrated circuit
  • FPGA field programmable gate array
  • DSP digital signal processor
  • the computer sy stem 1100 may further include a network interface device 1108 to communicate over the network 1120.
  • the computer system 1100 also may include a video display unit 1110 (e.g., a liquid crystal display (LCD) or a cathode ray tube (CRT)), an alphanumeric input device 1112 (e.g., a keyboard), a cursor control device 1114 (e.g., a mouse), a graphics processing unit 1122, a signal generation device 1116 (e.g., a speaker), graphics processing unit 1122, video processing unit 1128, and audio processing unit 1132.
  • a video display unit 1110 e.g., a liquid crystal display (LCD) or a cathode ray tube (CRT)
  • an alphanumeric input device 1112 e.g., a keyboard
  • a cursor control device 1114 e.g., a mouse
  • a graphics processing unit 1122 e.g., a signal generation device 1116 (
  • Hie data storage device 1118 may include a machine-readable storage medium 1124 (also known as a non-transitory computer-readable medium) on which is stored one or more sets of instructions 1126 or software embodying any one or more of the methodologies or functions described herein.
  • Hie instructions 1126 may also reside, completely or at least partially, within the main memory 1104 and/or within the processing device 1102 during execution thereof by the computer system 1100, the main memory 1104 and the processing device 1102 also constituting machine-readable storage media,
  • the instructions 1126 include instructions to implement functionality corresponding to the present disclosure. While the machine-readable storage medium 1124 is shown in an example implementation to be a single medium, the term “machine- readable storage medium” should be taken to include a single medium or multiple media (e.g,, a centralized or distributed database, and/or associated caches and servers) that store the one or more sets of instructions. The term “machine -readable storage medium” shall also be taken to include any medium that is capable of storing or encoding a set of instructions for execution by the machine and that cause the machine and the processing device 1102 to perform any one or more of the methodologies of the present disclosure. The tenn “machine-readable storage medium” shall accordingly be taken to include, but not be limited to, solid-state memories, optical media, and magnetic media,
  • An algorithm may be a sequence of operations leading to a desired result.
  • the operations are those requiring physical manipulations of physical quantities.
  • Such quantities may take the form of electrical or magnetic signals capable of being stored, combined, compared, and otherwise manipulated.
  • Such signals may be referred to as bits, values, elements, symbols, characters, terms, numbers, or the like.
  • the present disclosure also relates to an apparatus for performing the operations herein.
  • This apparatus may be specially constructed for the intended purposes, or it may include a computer selectively activated or reconfigured by a computer program stored in the computer.
  • a computer program may he stored in a computer readable storage medium, such as, but not limited to, any type of disk including floppy disks, optical disks, CD-ROMs, and magnetic- optical disks, read-only memories (ROMs), random access memories (RAMs), EPROMs, EEPRQMs, magnetic or optical cards, or any type of media suitable for storing electronic instructions, each coupled to a computer system bus.
  • the present disclosure may he provided as a computer program product, or software, that may include a machine-readable medium having stored thereon instructions, which may be used to program a computer system (or other electronic devices) to perform a process according to the present disclosure.
  • a machine -readable medium includes any mechanism for storing information in a form readable by a machine (c.g . a computer).
  • a machine- readable (e.g., computer-readable) medium includes a machine (e.g., a computer) readable storage medium such as a read only memory (“ROM”), random access memory' (“RAM”), magnetic disk storage media, optical storage media, flash memory ' devices, etc.

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)
  • Design And Manufacture Of Integrated Circuits (AREA)

Abstract

A system obtains deterministic results of netlist transformation in a multi-processor parallel computing system. The system receives a netlist. The system determines a set of components representing components with assigned identifiers. The system determines identifiers for remaining components. The system visits a component of the remaining components of the netlist in a topological order starting from the set of components. The system assigns a new identifier to the visited component. The new identifier is generated based on properties of the visited component and a connection of the visited component with at least one component of the set of components. Once the component is assigned an identifier, the system adds the component to the set of components. The system repeats these steps to assign an identifier to remaining components that are not included in the set.

Description

DETERMINISTIC NETLIST TRANSFORMATIONS IN A MULTI-PROCESSOR
PARALLEL COMPUTING SYSTEM
CROSS REFERENCE TO RELATED APPLICATIONS
[0001] This application claims benefit of U.S. Patent Application Serial Number 63/2.08,431, filed June 8, 2021, and U.S. Patent Application Serial Number 17/751,253, filed May 23, 2022, the contents of which are incorporated by reference herein in their entirety.
TECHNICAL FIELD
[0002] The present disclosure relates to parallel processing of electronic circuit designs in general, and more specifically to obtaining deterministic results of netlist transformations in a multi-processor parallel computing system.
BACKGROUND
[0003] A circuit design is represented as a netlist of components connected via nets. Several circuit design processes rely on tire order of components in the netlist of the circui t design, for example, logic emulation in a field programmable gate array (FPGA). Components of the netlist are assigned indexes to specify an order which is used for subsequent processing related to circuit design and verification. Due to an increase in a number of components in circuit designs, circuit designs are typically processed using multiple processors. When netlists are processed using multiple processors, ensuring deterministic assignment of new unique indices becomes challenging. With parallel processing, the assignment of new unique indices can be non- deterministic and can produce different results with different executions. Such results may not be useful for circuit design processes that rely on the values of the assigned indices. Deterministic indexing of components can be obtained using processor synchronization. However, processor synchronization incurs a substantial performance penalty and makes the netlist transformation non -scalable with an increasing number of processors.
SUMMARY
[0004] A system according to various embodiments obtains deterministic results of netlist transformation in a multi-processor parallel computing system. The system receives a netlist comprising a set of components and connections between components of a circuit design. The set of components represents components with assigned identifiers. The system determines identifiers for remaining components of the netlist as follows. The system visits a component of the remaining components of the netlist in a topological order starting from the set of components such that all components visited before the component have the assigned identifiers and are included in the set of components. The system assigns a new identifier to the visited component. The new identifier is generated based on properties of the visited component and a connection of the visited component with at least one component of the set of components. Once the component is assigned an identifier, the system adds the component to the set of components. The system repeats these steps to assign an identifier to remaining components that are not included in the set.
BRIEF DESCRIPTION OF THE DRAWINGS
|O0O5j Hie disclosure will be understood more fully from the detailed description given below and from the accompanying figures of embodiments of the disclosure, lire figures are used to provide knowledge and understanding of embodiments of the disclosure and do not limit the scope of the disclosure to these specific embodiments. Furthermore, the figures are not necessarily drawn to scale.
[0006] Figure (FIG.) 1 illustrates the overall system environment for processing a netlist using multi -processors, according to an embodiment.
[0007] FIG. 2 is a block diagram of a system architecture of a computing system for assigning identifiers to components of a netlist, according to an embodiment.
[0000] FIG. 3 illustrates a process for assigning identifiers to components of a netl ist using reverse topological order hash computation, according to an embodiment.
[0009] FIG. 4 illustrates an example netlist produced by a series of parallel transformations, according to an embodiment.
[0010] FIG. 5 illustrates a process for assigning identifiers to components of a netlist using direct topological order hash computation, according to another embodiment.
[0011] FIG. 6 illustrates an example netlist produced by a series of parallel transformations, according to another embodiment.
[0012] FIG. 7 illustrates a process for handling strongly connected components while assigning identifiers to components of a netlist, according to another embodiment.
[0013] FIG. 8 illustrates an example netlist illustrating processing of strongly connected components, according to another embodiment.
[0014] FIG. 9 depicts a flowchart of various processes used during the design and manufacture of an integrated circuit in accordance with some embodiments.
[0015] FIG. 10 depicts a diagram of an example emulation system in accordance with some embodiments.
[0016] FIG. 11 depicts a diagram of an example computer system in which embodiments may operate.
[0017] Reference will now be made in detail to several embodiments, examples of which are illustrated In the accompanying figures. It is noted that wherever practicable similar or like reference numbers may be used in the figures and may indicate similar or like functionality. The figures depict embodiments of the disclosed system (or method) for purposes of illustration only. One skilled in the art will readily recognize from the following description that alternative embodiments of the structures and methods illustrated herein may be employed without departing from the principles described herein.
DETAILED DESCRIPTION
[0018] The system according to various embodiments establishes deterministic component indexing while performing parallel transformations of the netlist. These indices are assigned before executing design procedures that are order sensitive. Examples of such procedures include partitioning of netlist by assigning the netlist components to non-overlapping partitions that satisfy certain criteria relevant to the application, for example, a maximum group size, and a number of connections between the groups. Such procedures rely on a deterministic component indexing and produce unpredictable results with non-detemiimstie component indexing. The system according to various embodiments performs deterministic component indexing using multiple processors. An index assigned to a component may also be referred to as an identifier. 0O019j[ Hie techniques disclosed may he used for procedures that modify the netlist, for example, by adding components to the netlist. Circuit design procedures can modify netlists by performing transformations such as, constant propagation, buffer/invertor optimization, logic refactoring, clock circuit simplification, partitioning, and logic replication. The system and procedures according to various embodiments allow component indexing in parallel for such applications.
[0020] Figure (FIG.) 1 illustrates the overall system environment for processing a netlist using multi-processors, according to an embodiment. FIG. 1 shows multiple computing systems 110A, 11GB, 1 IOC processing a netlist 120. In some embodiments, a single computing system 110 may execute multiple processes or threads that execute concurrently for processing different portions of the netlist. Each computing system 110.4, 110B, 1 IOC performs corresponding steps 115A, 115B, 115C to assign identifiers to components of the netlist.
[0021] FIG. 2 is a block diagram of a system architecture of a computing system for assigning identifiers to components of a netlist, according to an embodiment. Hie computing system 110 includes a netlist modification component 210, an identifier assignment component 220, an SCC (strongly connected component) processing component 230, and a netlist store 240. The components of the computing system 110 are implemented by one or more processing devices (also referred to as computer processors), for example, the processing device shown in FIG. 11.
[0022] The netlist store 240 may store a portion of the netlist being processed or the complete netlist being processed. The netlist may be represented as a graph including a set of nodes representing uniquely indexed components and a set of edges representing connections between various ports of such components. A logic gate is a netlist component that produces an output value determined by a Boolean function of input values. A flip/flop is a netlist component capable of storing a bit of information permanently and overwrite it only upon arrival of predetermined value change (known as edge) on one of its inputs. A latch is a netlist component capable of storing a bit of information permanently and overwrite it only upon arrival of predetermined value on one of its inputs. Ports are a generalized term encompassing all inputs and outputs of a netlist component.
[0023] The netlist modification component 210, processes a netlist N1 to obtain a modified netl ist A72. The modified netlist N2 may have a different set of components compared to the previous netlist NI that was processed. For example, in die process of netlist transformation, existing components of netlist AT may be eliminated, and new components created and added to the modified netlist N2.
[0024] The identifier assignment component 220, assigns unique indices to the new components added to the modified netlist N2. Accordingly, the previous netlist N1 may have assigned identifiers to ail components of the previous netlist N1. When the computing systems 110 modify the previous netlist N1 to obtain the modified netlist N2, the modified netlist N2 has previously assigned identifiers to all components that are common with the netlist NJ. However, the modified netlist may include new components. The computing systems 110 assigns identifiers to the components that were added to the modified netlist N2.
[0025] Processing of loops requires additional handling by the system. The system identifies loops by identifying strongly connected components (SCCs). The SCC processing component 230 identifies strongly connected components in the graph represented by the netlist. The computing system 110 processes SCCs as described in the process illustrated in FIG. 7.
[0026] FIG. 3 illustrates a process for assigning identifiers to components of a netlist using reverse topological order hash computation, according to an embodiment. Tire steps are described as being performed by a system, for example, the computing system 110.
[0027] The system performs the step of receiving 310 a netlist having a set SI of components that have previously assigned identifiers. For example, a set 82. of new components may be added to a netlist that has a set SI of components. A component with an assigned identifier is also referred to as an assigned component.
[0028] The system repeats the steps 320, 330, and 340 while there are components of the netlist that are not processed, i.e., components that have not been assigned an identifier yet. The system performs the step 320 of visiting a remaining component of the netlist that does not have an assigned identifier. The remaining components belong to the set S2 of components without assigned identifiers. The system visits the remaining components in a topological order starting from components belonging to the set S I of assigned components. In an embodiment, the system visits the remaining components in a reverse topological order starting from components belonging to the set SI of assigned components.
[0029] The system performs the step 330 of assigning a new identifier to the visited component. According to an embodiment, the system uses unique identifiers generated in the order (ascending or descending) of hash values produced using a hash function that is an integer function such that its value belongs to a given integer interval [0, V], Accordingly, the hash values provide the order of the new indices. Using indices that are generated in the order of the hash values rather than using the hash values themselves as indices results in generating a more compact se t of deterministic indices rather than a set with unused indices within. The value of the hash function is uniquely determined by the arguments of the hash function and the order of the arguments. The probability of obtaining the same value of hash function with different sets of arguments is inversely proportionate to the size of the interval V. The hash value is a result of executing hash function with a given set of arguments.
[0030] A topological ordering of components in a netlist is an ordering in which any component occurs after the components connected to its inputs. Reverse topological ordering of components in a netlist is an ordering in which any component occurs after the components connected to its outputs. Hie system performs the step 340 of adding the visited component to the set SI of assigned components since the visited component has an assigned identifier.
[0031] FIG. 4 illustrates an example netlist produced by a series of parallel transformations, according to an embodiment. Boxes 13 and 14 shown filled with striped pattern represent netlist components that retain their original deterministic indices. Boxes 11 and 12. shown without fill represent components newly created during parallel netlist transformation, it is further appreciated that similarly in FIG. 6 and FIG. 8, boxes shown fdled with striped pattern represent netlist components that retain their original deterministic indices, while boxes shown without fill represent components newly created during parallel netlist transformation.
[0032] To establish a deterministic ordering of components shown in FIG. 4, each component is assigned a structural hash value. The hash value depends upon various factors including (1) indices of components that retain deterministic positions that were not changed by the transformations, (2) connections between components, and (3) properties of components including, but not limited to, (a) types of components, for example, a logic gate, a register, and a latch., (b) a logical operation performed by the components, for example, Boolean functions such as “and”, and “or” , and (c) sets of ports including input ports and output ports.
[0033] The system generates an identifier using hash functions as follows. The system computes a function AH( vO, ... , vn) known as an array hash function, winch takes an arbitrary number n of integers vO, ... , vn, and produces a hash value in a given range. The hash value produced by the function AH is uniquely determined by the values of the integer arguments of the function AH and their order. Second, a function CH(component), which takes a component as argument and produces a hash value m a given range. The value produced by the CH function for a component is uniquely determined by special properties of the component, including hut not limited to: (!) the component’s type, for example, logic gate, register, latch, etc. (2) a Boolean function represented by the component if applicable, for example, “and”, and “or”, and (3) the set of ports of the component.
[0034] The system computes a component hash function using the array hash function and numerical representations of characteristics of the components. For example, component type may be represented by an integer value (e.g., 1 for logic gate, 2 for register) and used in the first position of hashed array. Boolean function can be represented as a truth table and used in the second position.
[0035] The range of hash values used is determined so as to maximize the speed of hash computation while minimizing tire probability of hash collision. For example, if the system uses a 64-bit hash value then the probability of two uniformly distributed random numbers assuming the same value is equal to I/2.64. If such probability is deemed high (e.g., greater than a threshold), a larger range (e.g., 128-bit) may be used.
[0036] lire computation of the identifiers of components is illustrated using the example net!ist shown in FIG, 4. First, the system assigns hash value H[i] = AH(i) to all components that deterministically retain their original positions I, for example, components 13 and 14 in FIG. 4. Next, the system visits every remaining component in reverse topological order such that a component is visited only when all downstream components have been assigned hash value. In the diagram shown in FIG. 4, first component 12 is visited and finally component 11 is visited. For each such component, the system computes hash value using hash values of its downstream components and port numbers of such components to which a given component is connected. Component 12 is connected to port #1 of component 13, therefore its hash value is determined as H[12] = AH(CH(12), H[13], 1). Component 11 is connected to port #1 of component 12 and port #1 of component 14. Since component 11 comes after component 12 in reverse topological order, the system computes H[ 11] = AH(CH(11), H[12], 1, H[14], 1).
[0037] in netlists generated by certain applications, for example, in an emulation netlist, every component has a single driver. Therefore, any two components have their hash values computed from a unique set of arguments. Flash collision, therefore, can only occur with a probability determined by the range of hash values as described above. In other applications that process circuit designs, a component may have mul tiple outputs. If a component has multiple outputs, the system computes a distinct hash value for each output. The hash value of the component itself may be determined using the hash values of all the outputs of the component. [0038] If the system identifies components that have not been assigned identifiers at the end of the reverse topological order traversal, the system assigns identifiers to remaining components by performing a direct topological traversal from the set of components. FIG. 5 illustrates a process for assigning identifiers to components of a netlist based on a direct topological order, according to another embodiment. The process shown in FIG. 5 is illustrated using FIG. 6 that illustrates an example netlist produced by a series of parallel transformations, according to another embodiment.
[0039] lire system performs step 510 by visiting every remaining component in direct topological order such that a component is visited only when all upstream components have been assigned a hash value. FIG. 6 shows component 21 that deterministically retained its original index, and newly created components 22, 23, 24. in this case, components 22, 23, and 24 do not have any deterministically indexed components downstream, so the procedure outlined above is not applicable. Such a situation may be possible, and the system accounts for it as follows.
[0040] The system performs the step 520 of assigning new identifiers based on hash value for the visited component. Accordingly, the system first assigns hash value H[i] = AH(i) to all components that deterministically retain their original positions, for example, component 21 of FIG. 6. In FIG. 6, the system first visits components 22 and 24, and finally visits component 23. For each such component, the system computes a hash value using hash values of its upstream components and port numbers of the gi ven component to which such upstream components are connected. For example, if component 22 is connected to component 21 through port #1, its hash value is determined as H[22] = AH(CH(22), H[21], 1). Similarly, if component 24 is connected to component 21 through port #1, its hash value is determined as H[24] = AH(CH(24), H[2I], 1). Similarly, if component 23 is connected to component 22 through its port #1, its hash value is determined as H[23] = AH(CH(23), H[22], 1).
|O041j Hie system performs the step 530 of discarding hash values of all components that do not retain their original index (e.g., from the previous netlist) and that have any downstream components. In FIG. 6 this is component 22, because component 21 has an original deterministic index and components 23 and 24 have no downstream connections. As a result, H[21], H[23], and H[24] are known and unique and H]22] is unknown and needs to be computed. Next, the system uses the first procedure of reverse topological order visitation to compute 540 remaining hash values. Specifically, H[22] = AH(CH(22), H[23], 1).
|O042] As a result, all components obtain hash values that are deterministic and unique unless low probability collision or random values occur, if two components are of the same Ape and structure, their component hash values are identical. For example, if components 22 and 24 are of the same nature, for example, both are logic gates implementing same Boolean function, then ( 11(22) is equal to CH(24). Therefore, H[22] is equal to H[24], which represents a collision. For example, if component 22 did not exist, components 23 and 24 may get assigned the same hash value if their internal properties were identical. However, in such case components 23 and 24 would have been indistinguishable for any useful purpose, and the order of their indices would not be material for any subsequent netlist transformation.
[0043] Some netiists may include loops that require additional processing for assigning identifiers. To handle loops, the system identifies strongly connected components and processes them as follow s. A strongly connected component is a set of nodes of a graph such that each node is reachable from any other node within the set. FIG. 7 illustrates a process for handling strongly connected components while assigning identifiers to components of a netlist, according to another embodiment. The process shown in FIG. 7 is illustrated using the example netlist shown in FIG. 8.
[0044] The process illustrated in FIG. 7 is used to establish deterministic topological order in a group of strongly connected components (SCC) that are newly created and do not have an initial deterministic index. Tire system establishes a topological order for a group of strongly connected components by identifying a component output that leads to components that have deterministic indices and ignoring a connection from this output to any other components in the group of strongly connected components. Ignoring a connection from an SCC may cause the corresponding set of components to lose the property of being strongly connected since that set of components does not satisfy the properties of an SCC anymore. The connection is simply removed from consideration in determining topological order but is retained for other processing based on the netlist. This is so because not all components can be reached from every' other component within the set after removing the connection. This step is referred to as breaking the SCC by removing a connection. The system further establishes topological order for groups of strongly connected components by identifying a component input that leads to components that retain deterministic indices and ignoring a connection from other inpu ts of this component to any other components m the SCC.
[0045] FIG. 8 illustrates an example netlist illustrating processing of SCCs, according to another embodiment. FIG. 8 show's components 31 and 35 that deterministically retain their original indices, and new ly created components 32, 33, 34. Each of the components 32, 33, 34 has deterministically indexed component 35 downstream, so the procedure of reverse topological order hash computation is applicable. They also have component 31 upstream so the procedure of direct topological order hash computation is also applicable. However, components 33 and 34 are strongly connected since each is reachable from the other (i.e., an output of component 33 is fed to cm input of component 34, and an output of component 34 is fed to an input of component 33), and topological ordering between them cannot he uniquely established. Depending on how the topological order is established between components 33 and 34, the resulting hash values may be different for components 32, 33, and 34. The system establishes such order deterministically and independent of their temporary indices as follows.
[0046] The system identifies 710 an SCC in the netlist. The system determines the inputs and outputs of the SCC. The input of the SCC is an input port of a component that belongs to the SCC while this input port is connected to a component that does not belong to the SCC. The output of the SCC is an output port of a component that belongs to the SCC while this output port is also connected to a component that does not belong to the SCC. In the diagram in FIG. 8, the SCC includes components 33 and 34. This SCC has one output that goes from component 33 to component 35 and two inputs, one that goes from component 31 to component 34, and one that goes from component 32 to component 33,
[0047] Next, the system identifies outputs that have downstream components with deterministic indices, in FIG. 8, this is an output leading to component 35. If there are several such outputs, the system selects an output that connects a component with the lowest deterministic index. The system performs step 720 that breaks the SCC by removing a connection from this output to components inside the SCC from consideration in determining a topological order, if several outputs lead to the same component of the smallest deterministic index, the system removes all of them, in FIG. 8, the connection from 33 to 34 will he removed. If this establishes a topological order the procedure is completed, for example, if these steps are executed on the netlist of FIG. 8, the procedure will be complete since a topological order is established. The system identifies a new SCC and repeats from step 710. if there are no more outputs that lead to a component with deterministic index, the system proceeds to step 730.
[0048] Continuing, the system identifies inputs to the SCC that have at least one upstream component with a deterministic index. In FIG. 8, this will be a connection from 32 to 33 and a connection from 31 to 34. The system selects an input that leads to a component with the lowest deterministic index. The system performs step 730 that breaks the SCC by removing connections from input component to components inside SCC from consideration in determining a topological order, if several inputs lead to the same component of the smallest deterministic index, the system removes all of them. In FIG. 8, connections from 33 to 34 and from 34 to 33 will both be removed. If this establishes a topological order, for example, as shown in FIG. 8, the procedure is completed. Otherwise, the system determines a new SCC and repeats from step 710. If there are no more inputs that lead to a component with deterministic index, the system proceeds to step 740.
[0049] Next, the system processes the ease of an 8CC that has no inputs or outputs that lead to components with deterministic indices. The system performs step 740 that breaks the SCC on the component with the smallest internal hash value. Accordingly, the system computes CH(i) for all components of SCC. The system identifies the components(s) with the smallest value of CH(i). For all of them, the system removes connections from their inputs to components inside SCC from consideration in determining topological order.
[005Q] These steps allow a topological order to be established in a netlist with loops. Accordingly, the system is able to deterministically assign indexes to the components of the netlist using multiple processors.
[0051] FIG. 9 illustrates an example set of processes 900 used during the design, verification, and fabrication of an article of manufacture such as an integrated circuit to transform and verify design data and instructions that represent the integrated circuit. Each of these processes can be structured and enabled as multiple modules or operations. The term ‘EDA' signifies the term ‘Electronic Design Automation.'’ These processes start with the creation of a product idea 910 with information supplied by a designer, information which is transformed to create an article of manufacture that uses a set of EDA processes 912. When the design is finalized, the design is taped-out 934, which is when artwork (e.g., geometric patterns) for the integrated circuit is sent to a fabrication facility to manufacture the mask set, which is then used to manufacture the integrated circuit. After tape-out, a semiconductor die is fabricated 936 and packaging and assembly processes 938 are performed to produce the finished integrated circuit 940.
[0052] Specifications for a circuit or electronic structure may range from low-level transistor material layouts to high-level description languages. A high-level of representation may he used to design circuits and systems, using a hardware description language {'1 IDF ) such as VHDL, Verilog, System Verilog, SystemC, MyHDL or OpenVera. The HDL description can be transformed to a logic-level register transfer level (‘RTI/ ) description, a gate-level description, a layout-level description, or a mask-level description. Each lower representation level that is a more concrete description adds more useful detail into the design description, for example, more details for the modules that include the description. The lower levels of representation that are more concrete descriptions can be generated by a computer, derived from a design library, or created by another design automation process. An example of a specification language at a lower
P level of representation language for specifying more detailed descriptions is SPICE, which is used for detailed descriptions of circuits with many analog components. Descriptions at each level of representation are enabled for use by the corresponding tools of that layer (e.g., a formal verification tool). A design process may use a sequence depicted in Fig. 9. The processes described by be enabled by EDA products (or tools).
[0053] During system design 914, functionality of an integrated circuit to be manufactured is specified. The design may be optimized for desired characteristics such as power consumption, performance, area (physical and/or lines of code), and reduction of costs, etc. Partitioning of the design into different types of modules or components can occur at this stage.
[0054] During logic design and functional verification 916, modules or components in the circuit are specified in one or more description languages and the specification is checked for functional accuracy. For example, the components of the circuit may be verified to generate outputs that match the requirements of the specification of the circuit or system being designed. Functional verification may use simulators and other programs such as testbench generators, static HDL checkers, and formal verifiers, in some embodiments, special systems of components referred to as ‘emulators’ or ‘prototyping systems' are used to speed up the functional verification ,
[0055] During synthesis and design for test 918, HDL code is transformed to a netlist. In some embodiments, a netlist may be a graph structure where edges of the graph structure represent components of a circuit and where the nodes of the graph structure represent how the components are interconnected. Both the HDL code and the netlist are hierarchical articles of manufacture that can be used by an EDA product to verify that the integrated circuit, when manufactured, performs according to the specified design. The netlist can be optimized for a target semiconductor manufacturing technology. Additionally, the finished integrated circuit may be tested to verify that the integrated circuit satisfies the requirements of the specification.
[0056] During netlist verification 920, the netlist is checked for compliance with timing constraints and for correspondence with the HDL code. During design planning 92.2, an overall floor plan for the integrated circuit is constructed and analyzed for timing and top-level routing. [0057] During layout or physical implementation 924, physical placement (positioning of circ uit components such as transistors or capacitors) and routing (connection of the circuit components by multiple conductors) occurs, and the selection of cells from a library to enable specific logic functions can be performed. As used herein, the tenn ‘cell’ may specify a set of transistors, other components, and interconnections that provides a Boolean logic function (e.g., AND, OR, NOT, XOR) or a storage function (such as a flipflop or latch). As used herein, a circuit ‘block’ may refer to two or more cells. Both a cell and a circuit block can be referred to as a module or component and are enabled as both physical structures and in simulations. Parameters are specified for selected cells (based on ‘standard cells’) such as size and made accessible in a database for use by EDA products.
[0058] During analysis and extraction 926, the circuit function is verified at the layout level, which permits refinement of the layout design. During physical verification 928, the layout design is checked to ensure that manufacturing constraints are correct, such as DRC constraints, electrical constraints, lithographic constraints, and that circuitry function matches the HDL design specification. During resolution enhancement 930, the geometry of the layout is transformed to improve how the circuit design is manufactured.
[0059] During tape-out, data is created to be used (after lithographic enhancements are applied if appropriate) for production of lithography masks. During mask data preparation 932, the ‘tape-out’ data is used to produce lithography masks that are used to produce finished integrated circuits.
[0060] A storage subsystem of a computer system may be used to store the programs and data stractures that are used by some or all of the EDA products described herein, and products used for development of cells for the library' and for physical and logical design that use the library.
[0061] FIG. 10 depicts a diagram of an example emulation environment 1000. An emulation environment 1000 may be configured to verify the functionality of the circuit design. Hie emulation environment 1000 may include a host system 1007 (e.g., a computer that is part of an EDA system) and an emulation system 1002 (e.g., a set of programmable devices such as Field Programmable Gate Arrays (FPGAs) or processors). The host system generates data and information by using a compiler 1010 to structure the emulation system to emulate a circuit design. A circuit design to be emulated is also referred to as a Design Under Test (‘DUT’) where data and information from the emulation are used to verify the functionality' of the DUT.
[0062] The host system 1007 may include one or more processors. In the embodiment where the host system includes multiple processors, the functions described herein as being performed by the host system can be distributed among the multiple processors. The host system 1007 may include a compiler 1010 to transform specifications written in a description language that represents a DUT and to produce data (e.g., binary data) and information that is used to structure the emulation system 1002 to emulate the DUT. Hie compiler 1010 can transform, change, restructure, add new functions to, and/or control the timing of the OUT.
[0063] The host system 1007 and emulation system 1002 exchange data and information using signals carried by an emulation connection. The connection can be, but is not limited to, one or more electrical cables such as cables with pin structures compatible with the Recommended Standard 232 (RS232) or universal serial bus (USB) protocols. Hie connection can be a wired communication medium or network such as a local area network or a wide area network such as the internet. The connection can be a wireless communication medium or a network with one or more points of access using a wireless protocol such as BLUETOOTH or IEEE 602.11. Hie host system 1007 and emulation system 1002 can exchange data and information through a third device such as a network server,
[0064] The emulation system 1002 includes multiple FPGAs (or other modules) such as FPGAs 1004] and 1004?. as well as additional FPGAs to 1Q04N. Each FPGA can include one or more FPGA interfaces through which the FPGA is connected to other FPGAs (and potentially other emulation components) for the FPGAs to exchange signals. An FPGA interface can be referred to as an input/output pin or an FPGA pad. While an emulator may include FPGAs, embodiments of emulators can include other types of logic blocks instead of, or along with, the FPGAs for emulating DU'Ts. For example, the emulation system 1002 can include custom FPGAs, specialized ASICs for emulation or prototyping, memories, and input/output devices. [0065] A programmable device can include an array of programmable logic blocks and a hierarchy of interconnections that can enable the programmable logic blocks to be interconnected according to the descriptions in the HDL code. Each of the programmable logic blocks can enable complex combinational functions or enable logic gates such as AND, and XOR logic blocks. In some embodiments, the logic blocks also can include memory elements/devices, which can be simple latches, flip-flops, or other blocks of memory. Depending on the length of the interconnections between different logic blocks, signals can arrive at input terminals of the logic blocks at different times and thus may be temporarily stored in the memory elements/deviees.
[0066] FPGAs 10041 - 1004N may be placed onto one or more boards 1012: and 1012? as well as additional boards through 1012M. Multiple boards can be placed into an emulation unit 1014:. The boards within an emulation unit can be connected using the backplane of the emulation unit or any other types of connections. In addition, multiple emulation units (e.g., 1014: and 1014? through 1014K) can be connected to each other by cables or any other means to form a multi- emulation unit system. |0067] For a OUT that is to be emulated, the host system 1007 transmits one or more bit files to the emulation system 1002, The bit files may specify a description of the DUT and may further specify partitions of the DUT created by the host system 1007 with trace and injection logic, mappings of the partitions to the FPGAs of the emulator, and design constraints. Using tire bit files, the emulator structures the FPGAs to perform the functions of the DUT. In some embodiments, one or more FPGAs of the emulators may have the trace and injection logic built into the silicon of the FPGA. In such an embodiment, the FPGAs may not be structured by the host system to emulate trace and injection logic.
[0068] The host system 1007 receives a description of a DUT that is to be emulated, in some embodiments, the DUT description is in a description language (e.g., a register transfer language (RTL)). In some embodiments, the DUT description is in netlist level files or a mix of netlist level files and HDL files, if part of the DUT description or the entire DUT description is in an HDL, then the host system can synthesize the DUT description to create a gate level netlist using the DUT description. A host system can use the netlist of the DUT to partition the DUT into multiple partitions where one or more of the partitions include trace and injection logic. The trace and injection logic traces interface signals that are exchanged via the interfaces of an FPGA. Additionally, the trace and injection logic can inject traced interface signals into the logic of the FPGA. The host system maps each partition to an FPGA of the emulator. In some embodiments, tire trace and injection logic is included in select partitions for a group of FPGAs. The trace and injection logic can be built into one or more of the FPGAs of an emulator. The host system can synthesize multiplexers to be mapped into the FPGAs. The multiplexers can be used by the trace and injection logic to inject interface signals into the DUT logic.
[0069] The host system creates bit files describing each partition of the DUT and the mapping of the partitions to the FPGAs. For partitions in which trace and injection logic are included, the bit files also describe the logic that is included. The bit files can include place and route information and design constraints. The host system stores the bit files and information describing which FPGAs are to emulate each component of the DUT (e.g,, to which FPGAs each component is mapped).
[0070] Upon request, the host system transmits the bit files to the emulator. The host system signals the emulator to start the emulation of the DUT. During emulation of the DUT or at the end of the emulation, the host system receives emulation results from the emulator through the emulation connection. Emulation results are data and information generated by the emulator during the emulation of the DUT which include interface signals and states of interface signals that have been traced by the trace and injection logic of each FPGA. The host system can store the emulation results and/or transmits the emulation results to another processing system.
[0071] After emulation of the DUT, a circuit designer can request to debug a component of the DUT. If such a request is made, the circuit designer can specify a time period of the emulation to debug. The host system identifies which FPGAs are emulating the component using the stored information. The host system retrieves stored interface signals associated with the time period and traced by the trace and injection logic of each identified FPGA. The host system signals the emulator to re-emuiate the identified FPGAs. The host system transmits the retrieved interface signals to the emulator to re-emulate the component for the specified time period, lire trace and injection logic of each identified FPGA injects its respective interface signals received from the host system into the logic of the DUT mapped to the FPGA. in case of multiple reemulations of an FPGA, merging the results produces a full debug vie w.
[0072] The host system receives, from the emulation system, signals traced by logic of the identified FPGAs during the re-emulation of the component. The host system stores the signals received from the emulator. The signals traced during the re-emulation can have a higher sampling rate than the sampling rate during the initial emulation. For example, in the initial emulation a traced signal can include a saved state of the component every X milliseconds. However, in the re-emulation the traced signal can include a saved state every Y milliseconds where Y is less than X. If tire circuit designer requests to view a waveform of a signal traced during the re-emulation, the host system can retrieve the stored signal and display a plot of the signal. For example, the host system can generate a waveform of the signal. Afterwards, the circuit designer can request to re-emulate the same component for a different time period or to re-emulate another component.
[0073] A host system 1007 and/or the compiler 1010 may include sub-systems such as, but not limited to, a design synthesizer sub-system, a mapping sub-system, a ran time sub-system, a results sub-system, a debug sub-system, a waveform sub-system, and a storage sub-system. The sub-systems can be structured and enabled as individual or multiple modules or two or more may be structured as a module. Together these sub-systems structure the emulator and monitor the emulation results.
[0074] The design synthesizer sub-system transforms the HDL that is representing a DUT 1005 into gate level logic. For a DUT that is to be emulated, the design synthesizer sub-system receives a description of the DUT. if the description of the DUT is fully or partially in HDL (e.g., RTL or other level of representation), the design synthesizer sub-system synthesizes the HOL of the DUT to create a gate-level netlist with a description of the DUT in terms of gate level logic.
[0075] The mapping sub-system partitions DUTs and maps the partitions into emulator FPGAs. The mapping sub-system partitions a DUT at the gate level into a number of partitions using the netlist of the D U T. For each partition, the mapping sub-system retrieves a gate level description of the trace and injection logic and adds the logic to the partition. As described above, the trace and injection logic included in a partition is used to trace signals exchanged via the interfaces of an FPGA to which the partition is mapped (trace interface signals). The trace and injection logic can be added to the DUT prior to the partitioning. For example, the trace and injection logic can be added by the design synthesizer sub-system prior to or after the synthesizing the HDL of the DUT.
[0076] In addition to including the trace and injection logic, the mapping sub-system can include additional tracing logic in a partition to trace the states of certain DUT components that are not traced by the trace and injection. The mapping sub-system can include the additional tracing logic in the DUT prior to the partitioning or in partitions after the partitioning. The design synthesizer sub-system can include the additional tracing logic m an HDL description of the DUT prior to synthesizing the HDL description.
[0077] The mapping sub-system maps each partition of the DUT to an FPGA of the emulator. For partitioning and mapping, the mapping sub-system uses design rules, design constraints (e.g., timing or logic constraints), and information about the emulator. For components of the DUT, the mapping sub-system stores information in the storage sub-system describing which FPGAs are to emulate each component.
[0078] Using the partitioning and the mapping, the mapping sub-system generates one or more bit flies that describe the created partitions and the mapping of logic to each FPGA of the emulator. The hit files can include additional information such as constraints of the DUT and routing information of connections between FPGAs and connections within each FPGA. lire mapping sub-system can generate a bit file for each partition of the DUT and can store the bit file in the storage sub-system . Upon request from a circuit designer, the mapping sub-system transmits the bit files to the emulator, and the emulator can use the bit files to structure the FPGAs to emulate the DUT.
[0079] If the emulator includes specialized ASICs that include the trace and injection logic, the mapping sub-system can generate a specific structure that connects the specialized ASICs to the DUT. In some embodiments, the mapping sub-system can save the information of the traced/injeeted signal and where the information is stored on the specialized ASIC.
[0080] The ran time sub-system controls emulations performed by the emulator. The ran time sub-system can cause the emulator to start or stop executing an emulation. Additionally, the run time sub-system can provide input signals and data to the emulator. The input signals can be provided directly to the emulator through the connection or indirectly through other input signal devices. For example, the host system can control an input signal device to provide the input signals to the emulator. The input signal device can be, for example, a test board (directly or through cables), signal generator, another emulator, or another host system.
[0081] The results sub-system processes emulation results generated by the emulator. During emulation and/or after completing the emulation, the results sub-system receives emulation results from the emulator generated during the emulation. The emulation results include signals traced during the emulation. Specifically, the emulation results include interface signals traced by the trace and injection logic emulated by each FPGA and can include signals traced by additional logic included in the DUT. Each traced signal can span multiple cycles of the emulation. A traced signal includes multiple states and each state is associated with a time of the emulation. The results sub-system stores the traced signals in the storage sub-system. For each stored signal, the results sub-system can store information indicating which FPGA generated the traced signal.
[0082] The debug sub-system allows circuit designers to debug DUT components. After the emulator has emulated a DUT and the results sub-system has received the interface signals traced by the trace and injection logic during the emulation, a circuit designer can request to debug a component of the DUT by re-emulating the component for a specific time period. In a request to debug a component, the circuit designer identifies the component and indicates a time period of the emulation to debug. The circuit designer’s request can include a sampling rate that indicates how often states of debugged components should be saved by logic that traces signals.
[0083] The debug sub-system identifies one or more FPGAs of the emulator that are emulating the component using the information stored by the mapping sub-system in the storage sub-system. For each identified FPGA, the debug sub-system retrieves, from the storage subsystem, interface signals traced by the trace and injection logic of the FPGA during tire time period indicated by the circuit designer. For example, the debug sub-system retrieves states traced by the trace and injection logic that are associated with the time period.
[0084] The debug sub-system transmits the retrieved interface signals to the emulator. The debug sub-system instructs the debug sub-system to use the identified FPGAs and for the trace and injection logic of each identified FPGA to inject its respective traced signals into logic of the FPGA to re-emulate the component for the requested time period. The debug sub-system can further transmit the sampling rate provided by the circuit designer to the emulator so that the tracing logic traces states at the proper intervals.
[0085] To debug the component, the emulator can use the FPGAs to which the component has been mapped. Additionally, the re-emulation of the component can be performed at any point specified by the circuit designer.
|O086j For an identified FPGA, the debug sub-system can transmit instructions to the emulator to load multiple emulator FPGAs with the same configuration of the identified FPGA. The debug sub-system additionally signals the emulator to use the multiple FPGAs in parallel. Each FPGA from the multiple FPGAs is used with a different time window of the interface signals to generate a larger time window in a shorter amount of time. For example, the identified FPGA can require an hour or more to use a certain amount of cycles. However, if multiple FPGAs have the same data and structure of the identified FPGA and each of these FPGAs runs a subset of the cycles, the emulator can require a few minutes tor the FPGAs to collectively use all the cycles.
[0087] A circuit designer can identify a hierarchy or a list of DUT signals to re-emulate. To enable this, the debug sub-system determines the FPGA needed to emulate the hierarchy or list of signals, retrie ves the necessary interface signals, and transmits the retrieved interface signals to the emulator for re-emulation. Thus, a circuit designer can identify' any element (e.g,, component, device, or signal) of the DUT to debug/re-emulate.
[0088] The waveform sub-system generates waveforms using the traced signals. If a circuit designer requests to view a waveform of a signal traced during an emulation run, the host system retrieves the signal from the storage sub-system. The waveform sub-system displays a plot of the signal. For one or more signals, when the signals are received from the emulator, the waveform sub-system can automatically generate the plots of the signals.
[0089] FIG. 11 il lustrates an example machine of a computer system 1100 within wliicli a set of instructions, for causing the machine to perform any one or more of the methodologies discussed herein, may be executed, in alternative implementations, the machine may he connected (e.g., networked) to other machines in a LAN, an intranet, an extranet, and/or the Internet. The machine may operate in the capacity of a server or a client machine in client-server network environment, as a peer machine in a peer-to-peer (or distributed) network environment, or as a server or a client machine in a cloud computing infrastructure or environment. |0090] Hie machine may be a personal computer (PC), a tablet PC, a set-top box (STB), a Personal Digital Assistant (PDA), a cellular telephone, a web appliance, a sen or. a network router, a switch or bridge, or any machine capable of executing a set of instructions (sequential or otherwise) that specify actions to be taken by that machine. Further, while a single machine is illustrated, the term "machine" shall also be taken to include any collection of machines that individually or jointly execute a set (or multiple sets) of instructions to perform any one or more of the methodologies discussed herein.
|O091j Hie example computer system 1100 includes a processing device 1102, a main memory 1104 (e.g., read-only memory (ROM), flash memory, dynamic random access memory (DRAM) such as synchronous DRAM (SDRAM), a static memory 1106 (e.g., flash memory', static random access memory· (SRAM), etc.), and a data storage device 1118, which communicate with each other via a bus 1130.
[0092] Processing device 1102 represents one or more processors such as a microprocessor, a central processing unit, or the like. More particularly, the processing device may be complex instruction set computing (CISC) microprocessor, reduced instruction set computing (RISC) microprocessor, very' long instruction word (VLIW) microprocessor, or a processor implementing other instruction sets, or processors implementing a combination of instruction sets. Processing device 1102 may also be one or more special-purpose processing devices such as an application specific integrated circuit (ASIC), a field programmable gate array (FPGA), a digital signal processor (DSP), network processor, or the like. The processing device 1102 may he configured to execute instructions 1126 for performing the operations and steps described herein.
[0093] The computer sy stem 1100 may further include a network interface device 1108 to communicate over the network 1120. The computer system 1100 also may include a video display unit 1110 (e.g., a liquid crystal display (LCD) or a cathode ray tube (CRT)), an alphanumeric input device 1112 (e.g., a keyboard), a cursor control device 1114 (e.g., a mouse), a graphics processing unit 1122, a signal generation device 1116 (e.g., a speaker), graphics processing unit 1122, video processing unit 1128, and audio processing unit 1132.
[0094] Hie data storage device 1118 may include a machine-readable storage medium 1124 (also known as a non-transitory computer-readable medium) on which is stored one or more sets of instructions 1126 or software embodying any one or more of the methodologies or functions described herein. Hie instructions 1126 may also reside, completely or at least partially, within the main memory 1104 and/or within the processing device 1102 during execution thereof by the computer system 1100, the main memory 1104 and the processing device 1102 also constituting machine-readable storage media,
[0095] In some implementations, the instructions 1126 include instructions to implement functionality corresponding to the present disclosure. While the machine-readable storage medium 1124 is shown in an example implementation to be a single medium, the term "machine- readable storage medium" should be taken to include a single medium or multiple media (e.g,, a centralized or distributed database, and/or associated caches and servers) that store the one or more sets of instructions. The term "machine -readable storage medium" shall also be taken to include any medium that is capable of storing or encoding a set of instructions for execution by the machine and that cause the machine and the processing device 1102 to perform any one or more of the methodologies of the present disclosure. The tenn "machine-readable storage medium" shall accordingly be taken to include, but not be limited to, solid-state memories, optical media, and magnetic media,
[0096] Some portions of the preceding detailed descriptions have been presented in terms of algorithms and symbolic representations of operations on data bits within a computer memory. These algorithmic descriptions and representations are the ways used by those skilled in the data processing arts to most effectively convey the substance of their work to others skilled in the art. An algorithm may be a sequence of operations leading to a desired result. The operations are those requiring physical manipulations of physical quantities. Such quantities may take the form of electrical or magnetic signals capable of being stored, combined, compared, and otherwise manipulated. Such signals may be referred to as bits, values, elements, symbols, characters, terms, numbers, or the like.
[0097] It should be borne in mind, howe ver, that ail of these and similar terms are to be associated with the appropriate physical quantities and are merely convenient labels applied to these quantities. Unless specifically stated otherwise as apparent from the present disclosure, it is appreciated that throughout the description, certain terms refer to the action and processes of a computer system, or similar electronic computing device, that manipulates and transforms data represented as physical (electronic) quantities within the computer system's registers and memories into other data similarly represented as physical quantities within the computer system memories or registers or other such information storage devices.
[0098] The present disclosure also relates to an apparatus for performing the operations herein. This apparatus may be specially constructed for the intended purposes, or it may include a computer selectively activated or reconfigured by a computer program stored in the computer. Such a computer program may he stored in a computer readable storage medium, such as, but not limited to, any type of disk including floppy disks, optical disks, CD-ROMs, and magnetic- optical disks, read-only memories (ROMs), random access memories (RAMs), EPROMs, EEPRQMs, magnetic or optical cards, or any type of media suitable for storing electronic instructions, each coupled to a computer system bus.
[0099] The algorithms and displays presented herein are not inherently related to any particular computer or other apparatus. Various other systems may he used with programs in accordance with the teachings herein, or it may prove convenient to construct a more specialized apparatus to perform the method. In addition, the present disclosure is not described with reference to any particular programming language. It will be appreciated that a variety of programming languages may be used to implement the teachings of the disclosure as described herein.
[0100] The present disclosure may he provided as a computer program product, or software, that may include a machine-readable medium having stored thereon instructions, which may be used to program a computer system (or other electronic devices) to perform a process according to the present disclosure. A machine -readable medium includes any mechanism for storing information in a form readable by a machine (c.g . a computer). For example, a machine- readable (e.g., computer-readable) medium includes a machine (e.g., a computer) readable storage medium such as a read only memory ("ROM"), random access memory' ("RAM"), magnetic disk storage media, optical storage media, flash memory' devices, etc.
[0101] In the foregoing disclosure, implementations of the disclosure have been described with reference to specific example implementations thereof. It will be evident that various modifications may be made thereto without departing from the broader spirit and scope of implementations of the disclosure as set forth in the following claims. Where the disclosure refers to some elements in the singular tense, more than one element can be depicted in the figures and like elements are labeled with like numerals. The disclosure and drawings are, accordingly, to be regarded in an illustrative sense rather than a restrictive sense.

Claims

What is claimed is:
1, A method comprising: receiving a netlist comprising a set: of components and connections between components of a circuit design, wherein each component of the set of components has assigned identifiers; determining, by one or more computer processors, identifiers for remaining components of the netlist representing components of the netlist outside the set of components, the determining comprising: visiting a component of the remaining components of the netlist in a topological order starting from the set of components such that all components visited before the component have the assigned identifiers and are included in the set of components: assigning a new identifier to the visited component, the new identifier generated based on properties of the visited component and a connection of the visited component with at least one component of the set of components: and adding the visited component to the set of components; and performing analysis of the circuit design using the identifiers assigned to the components.
2, The method of claim I, wherein the topological order is a reverse topological order.
3, The method of claim 2, further comprising: responsive to identifying one or more components that have not been assigned identifiers after traversal of the reverse topological order, assigning identifiers to remaining components by performing a direct topological traversal from the set of components.
4, The method of claim 3, further comprising: assigning identifiers to remaining components that are unassigned by performing a reverse topological traversal starting from the set of components.
5, The method of claim 1, wherein the topological order is a direct topological order.
6. The method of claim 1 , further comprising: identifying a loop in the net!ist; and breaking the loop by eliminating one or more edges of the loop.
7. The method of claim 1 , wherein the netlist is generated by transformation of a previous netlist, and the set of components that have assigned identifiers are retained deterministically from the previous netlist.
8. The method of claim 1, wherein the properties of the visited component include one or more of:
(1) a type of the visited component,
(2) a logical operation performed by the visited component, or
(3) sets of ports of the visited component.
9. The method of claim 1, wherein the new identifier of the visited component is determined using an array hash function that receives as input, for each component of the set of components connected to the visited component:
(1) an identifier of the component and
(2) an identifier of a port of the component that is connected to the visited component.
10. A non-transitory computer readable storage medium comprising stored instructions, which when executed by one or more computer processors, cause the one or more computer processors to: receive a netlist comprising a set of components and connections between components of a circuit design, wherein each componen t of the set of components has assigned identifiers; determine identifiers for remaining components of the netli st representing components of the netlist outside the set of componen ts, the determining comprising, executing in parallel using multiple processors: visit a component of the remaining components of the netlist in a topological order starting from the set of components such that all components visited before the component have assigned identifiers and are included in the set of components: assign a new identifier to tire visited component, the new identifier generated based on properties of the visited component and the connections of the visited component with components of the set of components; and add the visited component to the set of components; and perform analysis of the circuit design using the identifiers assigned to the components.
11. The non-transitory computer readable storage medium of claim 10, wherein the topological order is a reverse topological order.
12. The non-transitory computer readable storage medium of claim 11, wherein the instructions further cause the one or more computer processor to: responsive to identifying one or more components that have not been assigned identifiers after traversal of the reverse topological order, assign identifiers to remaining components by performing a direct topological traversal from the set of components .
13. The non-transitory computer readable storage medium of claim 12, wherein the instructions further cause the one or more computer processor to: assign identifiers to remaining components that are unassigned by performing a reverse topological traversal starting from the set of components.
14. The non-transitory computer readable storage medium of claim 10, wherein the instructions further cause the one or more computer processor to: identify a loop in the netlist; and break the loop by eliminating one or more edges of the loop.
15. The non-transitory computer readable storage medium of claim 10, wherein the netlist is generated by transformation of a previous netlist, and the set of components that have assigned identifiers are retained deterministically from the previous netlist.
16. The non-transitory computer readable storage medium of claim 10, wherein the properties of the visited component include one or more of:
(1) a type of the visited component,
(2) a logical operation performed by the visited component, or
(3) sets of ports of the visited component.
17. The non-transitory computer readable storage medium of claim 10, wherein the new identifier of the visited component is determined using an array hash function that receives as input, for each component of the set of components connected to the visited component:
(1) an identifier of the component and
(2) an identifier of a port of the component that is connected to the visited component.
18. A computer system comprising: one or more computer processors; and a noil-transitory computer readable storage medium comprising stored instructions, which when executed by one or more computer processors, cause the one or more computer processors to: receive a netlist comprising a set of components and connections between components of a circuit design, wherein each component: of the set of components has assigned identifiers; determine identifiers for remaining components of the netlist representing components of the netlist outside the set of components, the determining comprising, executing in parallel using multiple processors: visit a component of the remaining components of the netlist in a topological order starting from the set of components such that all components visited before the component have assigned identifiers and are included in the set of components; assign a new identifier to the visited component, the new identifier generated based on properties of the visited component and the connections of the visited component with components of the set of components; and add the visited component to the set of components; and perform analysis of the circuit design using die identifiers assigned to die components.
19. The computer system of claim 18, wherein the topological order is a reverse topological order, w'herein the instructions further cause the one or more computer processor to: responsive to identify ing one or more components that have not been assigned identifiers after traversal of the reverse topological order, assign identifiers to remaining components by performing a direct topological traversal from the set of components.
20. The computer system of claim 19, wherein the instructions further cause the one or more computer processor to: discard identifiers assigned to components during the direct topological traversal if the component is connected to one or more components downstream; and assign identifiers to remaining components by performing a reverse topological traversal from the set of components.
PCT/US2022/031159 2021-06-08 2022-05-26 Deterministic netlistic transformations in a multi-processor parallel computing system WO2022260870A1 (en)

Priority Applications (3)

Application Number Priority Date Filing Date Title
KR1020237042096A KR20240016294A (en) 2021-06-08 2022-05-26 Deterministic netlist transformations in multi-processor parallel computing systems
CN202280033333.7A CN117280350A (en) 2021-06-08 2022-05-26 Deterministic netlist transformation in multiprocessor parallel computing systems
EP22733798.7A EP4352647A1 (en) 2021-06-08 2022-05-26 Deterministic netlistic transformations in a multi-processor parallel computing system

Applications Claiming Priority (4)

Application Number Priority Date Filing Date Title
US202163208431P 2021-06-08 2021-06-08
US63/208,431 2021-06-08
US17/751,253 2022-05-23
US17/751,253 US20220391568A1 (en) 2021-06-08 2022-05-23 Deterministic netlist transformations in a multi-processor parallel computing system

Publications (1)

Publication Number Publication Date
WO2022260870A1 true WO2022260870A1 (en) 2022-12-15

Family

ID=82214525

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/US2022/031159 WO2022260870A1 (en) 2021-06-08 2022-05-26 Deterministic netlistic transformations in a multi-processor parallel computing system

Country Status (1)

Country Link
WO (1) WO2022260870A1 (en)

Non-Patent Citations (2)

* Cited by examiner, † Cited by third party
Title
MALEKI SEPIDEH SMALEKI@CS UTEXAS EDU ET AL: "BiPart a parallel and deterministic hypergraph partitioner", PROCEEDINGS OF THE ACM SIGSIM CONFERENCE ON PRINCIPLES OF ADVANCED DISCRETE SIMULATION, 17 February 2021 (2021-02-17), pages 161 - 174, XP058565216, DOI: 10.1145/3437801.3441611 *
ZHOU, ZH. ET AL: "Communications in Computer and Information Science", vol. 888, 2 August 2018, SPRINGER SINGAPORE, Singapore, ISBN: 978-981-1328-53-4, ISSN: 1865-0929, article ZHANG WEIDONG ET AL: "LSH-Based Graph Partitioning Algorithm", pages: 55 - 68, XP055960907, DOI: 10.1007/978-981-13-2122-1_5 *

Similar Documents

Publication Publication Date Title
US11836641B2 (en) Machine learning-based prediction of metrics at early-stage circuit design
US11526641B2 (en) Formal gated clock conversion for field programmable gate array (FPGA) synthesis
US12015411B2 (en) Testable time-to-digital converter
US11366948B2 (en) Machine-learning enhanced compiler
US20210374314A1 (en) Engineering Change Order Scenario Compression by Applying Hybrid of Live and Static Timing Views
US20210312113A1 (en) Method for finding equivalent classes of hard defects in stacked mosfet arrays
US11022634B1 (en) Rail block context generation for block-level rail voltage drop analysis
US11023635B1 (en) Sequence of frames generated by emulation and waveform reconstruction using the sequence of frames
US11080446B2 (en) Method to regulate clock frequencies of hybrid electronic systems
US20220391568A1 (en) Deterministic netlist transformations in a multi-processor parallel computing system
WO2022260870A1 (en) Deterministic netlistic transformations in a multi-processor parallel computing system
US20240028812A1 (en) Waveform capture using multicycle path properties
US20240111660A1 (en) Managing high performance simulation representation of an emulation system
US20230195982A1 (en) Transformations for multicycle path prediction of clock signals
US20230244512A1 (en) Fast waveform capture with low hardware footprint enabling full visibility
US11816409B1 (en) Strongly connected component (SCC) graph representation for interactive analysis of overlapping loops in emulation and prototyping
US20230177244A1 (en) Creation of reduced formal model for scalable system-on-chip (soc) level connectivity verification
US11403450B2 (en) Convergence centric coverage for clock domain crossing (CDC) jitter in simulation
US20230409788A1 (en) Synchronizing distributed simulations of a circuit design
US20230035693A1 (en) Clock signal realignment for emulation of a circuit design
US11941339B1 (en) Automated equal-resistance routing in compact pattern
US11868694B1 (en) System and method for optimizing emulation throughput by selective application of a clock pattern
US12014205B2 (en) Advanced register merging
US20230071521A1 (en) Detecting simulation, emulation and prototyping issues using static analysis tools
US20240104279A1 (en) Multicycle path prediction of reset signals

Legal Events

Date Code Title Description
121 Ep: the epo has been informed by wipo that ep was designated in this application

Ref document number: 22733798

Country of ref document: EP

Kind code of ref document: A1

WWE Wipo information: entry into national phase

Ref document number: 202280033333.7

Country of ref document: CN

WWE Wipo information: entry into national phase

Ref document number: 2022733798

Country of ref document: EP

NENP Non-entry into the national phase

Ref country code: DE

ENP Entry into the national phase

Ref document number: 2022733798

Country of ref document: EP

Effective date: 20240108