...
机译:异步设计的有效模块化验证的成分可达性分析
Dept. of Comput. Sci. & Eng., Univ. of South Florida, Tampa, FL, USA;
Abstraction refinement; circuit verification; compositional verification; formal verification; logic verification; model checking;
机译:用于异步设计验证的具有故障保留抽象的组合方法
机译:高效抽象提炼的大型异步设计的模块化模型检查
机译:面向层的异步电路验证形式模型及其有效分析方法
机译:用于异步设计模块化验证的协调可达性分析方法
机译:高效的硬件和软件技术,用于设计验证以及故障和设计分析
机译:时空模块化分解有效地描述了各个方向的直立伸直过程中全身肌肉的活动
机译:一种用于大型异步设计验证的组合最小化方法