|
DesignCon 2005 paper on using formal verification to verify the correctness of false-path and multi-cycle path constraints in SDC files.
|
||||||
|
|
||||||
|
||||||
|
DesignCon 2005 paper on using formal verification to verify the correctness of false-path and multi-cycle path constraints in SDC files.
|
||||||
|
|
||||||
|
||||||
