er.akhilkumar
Full Member level 2
Hello All,
There are methods to detect false-path by using SAT test-vector generation. But is this method used at RTL level? I think at RTL level while doing verification code coverage can also help in detecting false paths.
Regards,
Akhil
There are methods to detect false-path by using SAT test-vector generation. But is this method used at RTL level? I think at RTL level while doing verification code coverage can also help in detecting false paths.
Regards,
Akhil