机译:没有给定映射信息的系统级和RTL描述之间的形式等效检查
机译:没有给定映射信息的系统级和RTL描述之间的形式等效检查
机译:在线控制流错误检测的系统级检查的设计和评估
机译:通过识别潜在的内部等效物来提高基于规则的等效物检查系统级设计描述的准确性
机译:模块化设计环境中的有效等效检查。
机译:用于临床数据的自然语言处理中的i2b2挑战的基于规则的系统的描述
机译:通过识别潜在的内部对等性,提高系统级设计描述的基于规则的等价性检验的准确性
机译:基于分层规则的暖通空调系统级故障检测与诊断方法仿真研究