Using Formal Datapath Validation to Verify Synopsys IP | Synopsys https://www.youtube.com/watch?v=b0HtY9IRwkE
Discover the world at Altruu, The Discovery Engine
Using Formal Datapath Validation to Verify Synopsys IP | Synopsys https://www.youtube.com/watch?v=b0HtY9IRwkE