Asynchronous Circuits; Codesign; STG, Complete State Coding; Petrify;
机译:基于STG展开和增量SAT的异步电路逻辑综合
机译:基于Stg展开的信号插入和并发减少解决编码冲突
机译:异步电路可测试性技术的综合
机译:基于STG的并发应用中的异步电路的区域减少技术
机译:使用行业标准的CAD工具为异步null约定电路进行自动综合和减少null周期优化。
机译:基于图的符号技术及其在模拟集成电路频率响应界分析中的应用
机译:考虑基于STG的异步逻辑合成特殊属性的自动STG推导
机译:计算科学:基于sTG展开技术的异步电路编码冲突的交互式解决方案。系列