UPF; Power-intent; Low-power; Consistency check; Annotation; Graph-based; Design automation;
机译:Verilog导线互连的静态一致性检查使用相关类型检查Verilog描述的完整性
机译:基于描述逻辑的本体概念模型一致性检查
机译:UML动态图的语义和时间一致性检查的正式方法
机译:用于不同功率感知描述之间的自动一致性检查的方法
机译:BON软件描述图的多视图一致性检查。
机译:使用自动计划检查(APC)工具和6 sigma方法论优化外照射治疗的效率和安全性
机译:需求规格的自动一致性检查
机译:需求规范的自动一致性检查。