During lec we deactivate the test related logic and dft related logic by providing suitable constraints? When in the flow are these test and dft related logics are verified for the synthesized netlist?
These test and dft related logics are verified during ATPG (for example, by Synopsys TetraMax tool). Also, some kind of verification exist in Synopsys DFTcompiler (as a part of DesignCompiler).
Is not it better to verify the test related cones also during LEC by not deactivating the test related logic and dft related logic by providing suitable constraints?