静态验证 Static Verification

类型: concepts

引用论文: 4 篇

复杂低功耗设计的多电压验证挑战

VC SpyGlass——下一代静态验证平台

Spyglass高级CDC检查方法论

使用静态验证进行FPGA设计的高级跨时钟域检查