Sandwork Design公司近日宣布推出一种覆盖语法验证到电路级校验的网表除错工具SpiceCheck。SpiceCheck工具是该公司用于模拟和混合信号设计的ACAD工具套件的最新成员，它使IC和系统级芯片(SoC)设计工程师能够对传统的难以发现的设计问题执行全局校验。

由于现有的低功率、高速芯片常常涉及多轨电压源、内部充电泵和多种晶体管工艺模型，Sandwork介绍说，设计工程师面临的挑战是在高电压轨环境中要去除低电压器件、在多轨接口模块中要消除泄漏、在物理层要解决因高阻电容RC寄生效应而引起的信号完整性等等问题。

这些问题用传统的动态Spice仿真难以检测，Sandwork介绍说，SpiceCheck工具让设计工程师能够采用可编程Tcl校验指令、子电路模块级的设计关联、拓扑匹配、全芯片静态偏置范围评估(具有包含用户定义内部电源网络的灵活性)及其它功能来解决这些挑战性问题。

Sandwork声称SpiceCheck是完全可编程的、用于电气规则校验的唯一网表驱动型工具，该工具在美国一年时间许可证报价是18,000美元。