SolidWorks Design Checker 设计审阅器
design rule checker 设计规则检查程序
design assertion consistency checker 设计判定一致核对器
This paper studies the design and realization of GPS differential positioning computer fault checker.
论文探讨了一种GPS差分计算机故障检测仪的设计及实现。
A solution for property verification of synchronous VHDL design is introduced, and VERIS an efficient symbolic model checker is implemented.
介绍了一个针对同步时序电路VHDL设计的性质验证的解决方案——一个有效的符号模型判别器veris。
应用推荐