Questions on DFT autofix

[childs72]

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

 

[Tieny]

1. at RTL
2. the selection of mux will be scan_mode so when you do formality check with functional mode it should be fine.

Autofix is stupid tool so dont abuse it .
Regards