asynchronous circuits; formal verification; Petri nets; circuit analysis computing; level oriented formal model; asynchronous circuit verification; analysis method; high readability; data path circuits; state explosion problem; time Petri nets; parti;
机译:面向层的异步电路验证形式模型及其有效分析方法
机译:面向层的异步电路验证形式模型及其有效分析方法
机译:级别面向异步电路验证的正式模型及其高效分析方法
机译:异步电路验证等级正式模型及其高效分析方法
机译:准延迟不敏感异步电路的正式建模与验证方法
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:面向水平的异步电路验证形式模型及其有效分析方法*
机译:同步和异步电路的门级VHDL模型的规范和验证