Cadence Design Systems interview question

I was asked how to approach a customer issue with validating a complex clocking structure.

Interview Answer

Anonymous

1 Nov 2016

My approach would be to capture the design's intent through assertions and verify by functional coverage in simulation or formal proofs.