Dept. of Computer Science, Portland State University, OR 97207, USAc;
Equivalence checking; behavioral synthesis; transformation;
机译:检查并发系统中MDA转换的语义等效性
机译:使用虚拟控制器和数据路径进行行为和RTL描述之间的等效检查
机译:编译器辅助的多处理器中基于算法检查的综合
机译:在行为合成中的编译器转换的等价性检查
机译:电子系统级综合的编译器转换。
机译:由Peters和SteinCallet和Parkhurst编写的对数对数61位表的综合检查
机译:行为综合中编译器变换的等价性检验