Good day, I am currently trying to bring in DFT to the design. I am still in reading, not yet in implementation stage. However I have 2 questions on DFT autofix as below:
1. DFT DRC requires muxing on certain clock path & reset path. These muxing should be implemented at RTL or using DFT autofix feature during synthesis?
2. Will DFT autofix feature potentially cause issue at FEV (Formal Equivalent Check) later since it introduces additional logic such as mux?
Thanks