机译:现实多媒体系统中基于扩展的等效检查的经验
Formal verification; Static affine programs; Widening;
机译:现实多媒体系统中基于扩展的等效检查的经验
机译:使用机器学习的系统级和RTL描述之间的基于路径的等价检查方法
机译:基于观测当量的模糊离散事件系统的无阻塞检查
机译:在现实多媒体系统中扩展的等价检查的经验
机译:模块化设计环境中的有效等效检查。
机译:IMPACT(交互式多媒体患者案例家教)—一个用于创建基于计算机的真实患者模拟的创作系统
机译:在现实多媒体系统中扩展基于等价检查的经验