Logic gates; Safety; Rails; Formal verification; System recovery; Transistors; Synchronization;
机译:PCHB异步电路的形式化建模和验证
机译:物联网的异步电路设计:采用GALS架构的超低功耗电路的方法
机译:异步电路的证明定理的验证
机译:组合异步PCHB电路的等效验证方法
机译:基于等效验证的异步睡眠会议逻辑电路的正式验证方法
机译:在检查患者报告的结果度量中的测量当量的方法学问题:两部分系列的方法概述患者报告的结果度量信息系统®(PROMIS®)简短形式的测量当量
机译:无已知复位状态的电路的组合等效性和顺序等效性检查的组合方法
机译:基于VHDL的时序电路规范和等效性验证。