Tools; Integrated circuit modeling; Asynchronous circuits; Logic gates; Wires; System recovery; Synchronization;
机译:使用常规同步设计工具的全局异步本地同步系统的设计流程
机译:有关全局异步和本地同步(GALS)系统的形式方法的特殊问题
机译:具有混合同步/异步状态存储器的低功耗有限状态机的综合工具
机译:使用工业工具对混合同步异步系统进行形式验证
机译:使用决策图对异步系统进行形式验证
机译:翻转课堂:在驻留程序中混合异步和同步学习的方式
机译:使用常规同步设计工具的全局异步本地同步系统的设计流程
机译:用于同步和异步电路规范和验证的形式语言