Partial reconfiguration debugging using hybrid models

1. A method of using logic design computing equipment to generate and debug a hybrid model that identifies a logic design of an integrated circuit device, the method comprising:

with the logic design computing equipment, generating a structural model netlist by synthesizing a partial reconfiguration partition of the integrated circuit device;

with the logic design computing equipment, combining a behavioral model of a static partition of the integrated circuit device with the structural model netlist to generate the hybrid model, wherein the static partition and partial reconfiguration partition correspond to different portions of the integrated circuit device, wherein the behavioral model is a high-level model, wherein the structural model netlist is a lower level model than the behavioral model and models an undefined state for a register in logic design; and

configuring the integrated circuit device based on the hybrid model.

2. The method defined in claim 1 , further comprising:

with the logic design computing equipment, modeling registers in the partial reconfiguration partition, wherein each of the registers includes a partial reconfiguration activation input port, wherein the partial reconfiguration activation input port receives a partial reconfiguration request signal that sets at least one of the registers to the undefined state.

3. The method defined in claim 2 , wherein configuring the integrated circuit device based on the hybrid model comprises:

with the logic design computing equipment, compiling the logic design to generate a configuration data bit stream; and

with the logic design computing equipment, providing the configuration data bitstream to a configuration device that loads the configuration data bitstream onto the integrated circuit device, wherein the integrated circuit device is configured to implement the logic design when loaded with the configuration data bitstream.

4. The method defined in claim 2 , wherein the registers comprise technology mapped registers located in logic array blocks and routing fabric of the partial reconfiguration partition.

5. The method defined in claim 2 , further comprising:

with the logic design computing equipment, generating assertions for the registers based on user-defined requirements, wherein the assertions are configured to produce an error signal when it is detected that one of the registers remains in the undefined state after completion of a partial reconfiguration operation and a register reset operation.

6. The method defined in claim 5 , wherein the assertions produce the error signal when it is detected that one of the registers remains in the undefined state longer than a predefined number of clock cycles after the completion of the partial reconfiguration operation and the register reset operation.

7. A non-transitory computer-readable storage medium for simulating and debugging a logic design for an integrated circuit, wherein the non-transitory computer-readable storage medium comprises instructions for:

synthesizing logic for a partial reconfiguration partition of the integrated circuit to generate a structural model netlist for the partial reconfiguration partition of the integrated circuit; and

combining a behavioral model of a static partition of the integrated circuit with the structural model netlist of the partial reconfiguration partition to generate a hybrid model that identifies the logic design for the integrated circuit, wherein the static partition and partial reconfiguration partition correspond to different portions of the integrated circuit device, wherein the behavioral model is a high-level model, wherein the structural model netlist is a lower level model than the behavioral model and models an undefined state for a register in logic design;

compiling the logic design in response to determining that the at least one register has a defined state after the partial reconfiguration operation and a register reset operation are completed;

generating a configuration bitstream from the compiled logic design; and

loading the configuration bitstream onto the integrated circuit.

8. The non-transitory computer-readable storage medium defined in claim 7 , further comprising instructions for:

modeling registers in the partial reconfiguration partition, wherein each of the registers includes a partial reconfiguration activation input port that receives a partial reconfiguration request signal, wherein the partial reconfiguration request signal, when asserted, sets at least one register of the registers to the undefined state at which a logically undefined value is stored on the at least one register.

9. The non-transitory computer-readable storage medium defined in claim 8 , further comprising instructions for:

initiating a partial reconfiguration operation for the partial reconfiguration partition;

asserting the partial reconfiguration request signal to place the at least one register in the undefined state;

determining whether the logically undefined value has bypassed a freeze bridge interposed between the partial reconfiguration partition and the static partition; and

determining whether the at least one register remains in the undefined state after the partial reconfiguration operation and a register reset operation are completed.

10. The non-transitory computer-readable storage medium defined in claim 8 , further comprising instructions for:

producing a first error signal in response to determining that the logically undefined value has bypassed the freeze bridge;

producing a second error signal in response to determining that the at least one register remains in the undefined state after the partial reconfiguration operation and a register reset operation are completed;

in response to producing the first and second error signals, adjusting the logic design; and

generating an updated hybrid model based on the adjusted logic design.