Department of Electrical Computer Engineering University of California Davis, CA, U.S.A.;
simulation; functional testing/verification; logic circuits; implementation-independent testing;
机译:近似电路的设计自动化技术:验证,综合和测试。
机译:近似电路设计自动化技术:验证,合成和测试。
机译:多级逻辑综合技术,可进行有效的验证测试
机译:SLOCOP-II:基于逻辑功能和MOS电路层次结构,提高了时序验证的准确性和效率
机译:通过设计技术对硅锗异质结双极晶体管和数字逻辑电路进行硬度保证测试和辐射硬化。
机译:使用模糊逻辑技术确定基于断言的软件测试指标
机译:使用Mizar验证逻辑电路并将其应用于基数为$ 2 ^ k $ SD的加法器电路(信息科学和应用功能分析的主题)