...
机译:面向数据路径的应用程序等效性验证的统一框架
VLSI Design and Education Center (VDEC), The University of Tokyo and JST CREST, Tokyo, 113- 0032 Japan;
VLSI Design and Education Center (VDEC), The University of Tokyo and JST CREST, Tokyo, 113- 0032 Japan;
equivalence verification; canonical form; RTL model; gatelevel implementation; decision diagram;
机译:使用有限环代数对多项式数据路径进行等效性验证的模拟边界
机译:使用理想隶属度检验的多项式数据路径的等效性验证
机译:UDPF:用于开发动态资源导向的嵌入式应用程序的统一数据提供框架
机译:具有多个字长操作数的多项式数据路径的模块化等效验证
机译:使用有限环代数的算术数据路径等价验证
机译:验证虚拟临床试验应用的混合乳房成像仿真框架的准确性
机译:DataPath面向应用程序的等价验证统一框架
机译:Uniframe:开发面向服务的,基于组件的分布式软件系统的统一框架