白皮书
利用自动静态检查验证提高电路性能和可靠性
特别是，使用手动技术进行检查或使用 SPICE 进行动态仿真，既繁琐又耗时，而且在一些情况下已经无法充分保证完整的覆盖率。采用新方法提供自动静态检查验证，有助于设计人员确保其设计不仅足够可靠，能够避免电气故障，而且还能如期执行并按时交付。
特别是，使用手动技术进行检查或使用 SPICE 进行动态仿真，既繁琐又耗时，而且在一些情况下已经无法充分保证完整的覆盖率。采用新方法提供自动静态检查验证，有助于设计人员确保其设计不仅足够可靠，能够避免电气故障，而且还能如期执行并按时交付。