Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, CA;
机译:使用时序和逻辑过滤的可感知耦合的静态时序分析中的悲观主义减少
机译:具有逻辑关联的虚假攻击者感知真串扰噪声分析,可进行准确的时序分析
机译:具有逻辑关联的虚假攻击者感知真串扰噪声分析,可进行准确的时序分析
机译:逻辑综合环境中的时序分析
机译:司法进度分析和施工延误索赔中的浮动,逻辑,资源分配和延误时间安排的动态。
机译:注释概念的综合和富集分析:基于逻辑的方法来解释高通量实验
机译:使用定时和逻辑滤波的耦合感知静态时序分析中的悲观减少