...
机译:嵌入式内核的IEEE标准1500一致性验证
Electronic design automation (EDA) tools; IEEE 1500 Standard; unified modeling language (UML); verification of embedded cores;
机译:关于IEEE P1500的嵌入式核心测试标准
机译:符合IEEE-1500标准的内核真的符合该标准吗?
机译:基于扩展的IEEE 1149.1和IEEE 1500标准的片上网络通信基础设施的BIST
机译:自动化IEEE STD。 1500嵌入式核心的合规性验证
机译:使用HOL对IEEE-754表驱动的浮点指数函数进行分层验证。
机译:概念问题和标准。医疗硬件软件和信息交换的标准:IEEE P1157医疗数据交换(MEDIX)委员会概述和状态报告
机译:嵌入式内核的IEEE标准1500一致性验证