Logic gates; Pipeline processing; Robustness; Cryptography; Power supplies; Timing; Throughput;
机译:门级定时异步电路中的无危险性的有效验证
机译:门级异步电路时序约束的验证和违反校正
机译:异步电路的管道优化:复杂性分析和高效的优化算法
机译:门级流水线异步电路的设计与优化
机译:使用行业标准的设计工具,对异步无效约定电路的门级流水线优化,能量估计和测试技术设计。
机译:异步逻辑电路的化学反应网络设计
机译:测试从晶体管网络到门级设计的异步逻辑电路。
机译:同步和异步电路的门级VHDL模型的规范和验证