机译:面向层的异步电路验证形式模型及其有效分析方法
Level oriented model; Asynchronous circuits; Formal verification; Time Petri nets;
机译:面向层的异步电路验证形式模型及其有效分析方法
机译:级别面向异步电路验证的正式模型及其高效分析方法
机译:级别面向异步电路验证的正式模型及其高效分析方法
机译:面向层的异步电路验证形式模型及其有效分析方法
机译:准延迟不敏感异步电路的正式建模与验证方法
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:面向水平的异步电路验证形式模型及其有效分析方法*
机译:同步和异步电路的门级VHDL模型的规范和验证