Identifying inversion error in logic equivalence check
View Patent ↗System and method of checking logic equivalence following flip-flop insertions to identify paths with inversion errors. All the flip-flops in a gate-level netlist and the corresponding RTL design are treated as buffers in a logic equivalence check (LEC) tool. A logic mismatch of a path between the RTL design and the netlist indicates an odd number of inverters have been inserted in the path during a flip-flop insertion process. Accordingly, the identified path is adjusted to ensure an even number of inverters.
1. A computer implemented method, performed by a processor, for logic equivalence checking, said processor is coupled to memory which stores instructions that, when executed by said processor, cause said processor to perform said method comprising:
accessing a first register-transfer level (RTL) design of an integrated circuit comprising a plurality of interconnects, wherein a respective interconnect in said first RTL design comprises a first plurality of flip-flops;
accessing a first physical implementation of said integrated circuit, wherein said first physical implementation comprises said plurality of interconnects, wherein said respective interconnect in said first physical implementation comprises a second plurality of flip-flops, inverters, and buffers;
replacing said first plurality of flip-flops with buffers to generate a second RTL design;
replacing said second plurality of flip-flops with buffers to generate a second physical implementation;
checking logic equivalence between said second RTL design and said second physical implementation; and
identifying a logic error in said first physical implementation based on said checking.
2. The computer implemented method of claim 1 , wherein said identifying comprises detecting a logic mismatch between said second physical implementation and said second RTL design with respect to said respective interconnect.
3. The computer implemented method of claim 1 , wherein said logic error corresponds to an inversion error with respect to said respective interconnect in said first physical implementation.
4. The computer implemented method of claim 3 , wherein said inversion error is caused by an odd number of inverters encompassed in said respective interconnect in said first physical implementation.
5. The computer implemented method of claim 4 , further comprising modifying said first physical implementation to result in an even number of inverters on said respective interconnect.
6. The computer implemented method of claim 5 , wherein said modifying comprises inserting an inverter between two flip-flops among said second plurality of flip-flops or replacing an inverter in said respective interconnect with a buffer.
7. The computer implemented method of claim 5 , further comprising:
determining a number of inverters present between a first flip-flop and a second flip-flop on said respective interconnect of said first physical implementation; and
if said determined number is an odd number, modifying said first physical implementation by inserting an inverter before said first flip-flop or replacing an inverter selected from said number of inverters with a buffer.
8. The computer implemented method of claim 1 , wherein said second plurality of flip-flops comprises at least a flip-flop inserted in a flip-flop insertion process.
9. A computer implemented method, performed by a processor, for verifying a physical implementation in physical design of an integrated circuit, said processor is coupled to memory which stores instructions that, when executed by said processor, cause said computer to perform said method comprising:
accessing a register-transfer level (RTL) design of said integrated circuit comprising a plurality of interconnects, wherein said plurality of interconnects in said RTL design comprises a first plurality of flip-flops;
accessing said physical implementation of said integrated circuit comprising said plurality of interconnects, wherein said plurality of interconnects in said physical implementation comprise a second plurality of flip-flops, and inverters;
replacing said first plurality of flip-flops with buffers to generate a modified RTL design;
replacing said second plurality of flip-flops with buffers to generate a modified physical implementation;
providing said modified RTL design and said modified physical implementation to a program configured for logic equivalence check; and
identifying an interconnect having an inversion error in said physical implementation based on said logic equivalence check.
10. The computer implemented method of claim 9 , wherein said inversion error corresponds to an odd number of inverters present in said interconnect.
11. The computer implemented method of claim 9 , wherein said identifying comprises detecting a logic mismatch between said modified RTL design and said modified physical implementation with respect to said interconnect.
12. The computer implemented method of claim 9 , further comprising modifying said physical implementation by adding an inverter in said interconnect.
13. The computer implemented method of claim 9 , wherein said physical implementation comprises a gate-level netlist, and wherein said inverters are inserted in said physical implementation in a repeater insertion process.
14. The computer implemented method of claim 9 , further comprising:
determining a number of inverters present between a first flip-flop and a second flip-flop on one of said plurality of interconnects of said physical implementation; and
if said number is an odd number, modifying said physical implementation by inserting an inverter before or after said first flip-flop, or replacing an inverter selected from said number of inverters with a buffer.
15. A system comprising:
a processor;
a memory coupled to said processor and comprising instructions that, when executed by said processor, cause said system to perform a method comprising:
accessing a register-transfer level (RTL) design of said integrated circuit comprising a plurality of interconnects, wherein said plurality of interconnects in said RTL design comprise a first plurality of flip-flops;
accessing a physical implementation of said integrated circuit comprising said plurality of interconnects, wherein said plurality of interconnects in said physical implementation comprise a second plurality of flip-flops and inverters;
replacing said first plurality of flip-flops with buffers to generate a modified RTL design;
replacing said second plurality of flip-flops with buffers to generate a modified physical implementation;
providing said modified RTL design and said modified physical implementation to a program configured for logic equivalence check; and
identifying an interconnect having an inversion error in said physical implementation based on a logic mismatch resulted from said logic equivalence check.
16. The system of claim 15 , wherein said inversion error corresponds to an odd number of inverters present in said interconnect of said physical implementation.
17. The system of claim 15 , wherein said method further comprises modifying said physical implementation by adding an inverter in said interconnect based on said inversion error.
18. The system of cdlaim 15 , wherein said physical implementation comprises a gate-level netlist.
19. The system of claim 15 , wherein said method further comprises:
determining a number of inverters present between a first flip-flop and a second flip-flop on one of said plurality of interconnects of said physical implementation; and
if said number is an odd number, modifying said physical implementation by inserting an inverter before said first flip-flop or another inverter after said second flip-flop, or replacing an inverter selected from said number of inverters with a buffer.
20. The system of claim 15 , wherein said inverters are inserted in said interconnect of said physical implementation by a flip-flop insertion process.