Department of Computer Science, University of Manchester, Manchester, M19 3PL, U.K.;
机译:叶片变形异步振动的叶尖正时参数识别和传感器配置的有限元模拟数据验证
机译:门级异步电路时序约束的验证和违反校正
机译:验证细粒度流水线异步数据路径电路的时序约束
机译:异步设计的时序验证
机译:具有相对定时的合成的符号异步硬件协议验证。
机译:X染色体选择独立于异步复制时间而发生
机译:异步设计的时序验证
机译:全局异步/本地同步架构的设计和验证方法