Static analysis tools provide many types of insight into the design and are being widely used to detect and prevent various potential problems with designs. Applied during various phases of the design project, they can detect minor issues to the most serious errors in designs. Tools in this category include Design Rule Checking (DRC), Clock Domain Analysis, Automatic Formal Verification and Formal Verification Tools.
|
|||||||||
|
|||||||||
|