COMPUTATION; FAULT TOLERANCE; FORMALISM; HARDWARE DESCRIPTION LANGUAGES; LOGIC CIRCUITS; PROVING; SIMULATION; SYNCHRONISM;
机译:使用混合同步-异步技术从同步触发器(例如J-K型)设计时序电路的正式方法
机译:去同步:根据同步规范合成异步电路
机译:扩展正式的安全协议规范语言以用于新的验证技术
机译:使用ConGolog和CASL正式代理规范语言进行i〜*模型的分析,验证和仿真
机译:基于等效验证的异步睡眠会议逻辑电路的正式验证方法
机译:异步和同步状态之间的转换:小型神经电路中的相关理论
机译:去同步:根据同步规范合成异步电路