ARCHITECTURE (COMPUTERS); CIRCUIT RELIABILITY; CLOCKS; COMPUTER SYSTEMS DESIGN; CONSISTENCY; INTERPROCESSOR COMMUNICATION; SYNCHRONISM; THEOREM PROVING; COMPUTER AIDED DESIGN; COMPUTER SYSTEMS PERFORMANCE; CONTROL SYSTEMS DESIGN; FLIGHT CONTROL; MICROPROCESSORS; RISC PROCESSORS; VOTING;
机译:比较验证系统:ACL2中的交互一致性
机译:大型源极集邮友好互动系统介绍和实际负载缩小验证测试技术
机译:离线签名验证中局部特征的一致性和重要性的研究。
机译:通过重用形式验证知识来改进一致性检查过程
机译:基于等效验证的异步睡眠会议逻辑电路的正式验证方法
机译:一个互操作性平台,可重复使用电子病历进行信号验证研究
机译:Studio应用了基于实数模型的验证和基于断言的混合信号验证。基于实数建模与断言的验证技术在混合信号电路设计中的研究与应用