which includes the funnel shifter datapath ndl behavioral is replaced with a new module that includes the actual funnel shifter datapath logic ndl 151 the new wrapper funnel shifter block with actual ndl is verified against the previous funnel shifter block with the ndl behavioral using a sequential equivalence checking tool block 335 if the tool verifies the equivalence the process is essentially complete as described in the above embodiments the logic block datapath and the control paths were separated to facilitate ease of the verification flow accordingly this type of verification flow may be used on any type of logic that includes a datapath and control logic for example in addition to shifter logic adders multipliers and the like may be verified using a flow like the flow described above in one embodiment the steps of the formal verification preparation and subsequent sequential equivalence checking may be performed manually on a computer by a user in other embodiments however one or more of the steps of the formal verification preparation and subsequent sequential equivalence checking may be performed in a more automated fashion more particularly some of the various steps may be performed on a computer by executing instructions that cause one or more electronic design automation eda tools to run for example a script or other software routine may prepare files for execution or make calls to cause a tool to run and the like in fig3 one embodiment of a system that may be used to perform various ones of the above steps is shown turning.