自动产生器相关硕士博士期刊学术论文 - 信丰网

自动产生器相关论文

等价一致化因子自动产生器的算滕及实现

一致化理论在自动推理、自然语言理解、逻辑证明、重写理论等研究领域中有着广泛的应用。目前语法一致化因子的产生算法和工具已经......

学位

一致化理论语法一致化等价一致化最简一致化因子树形

高层综合动态等效检查器

本文介绍的是一种介于未定时序（Untimed）的行为描述（如ANSIc）与RTL间的动态等效检查方法。高层综合（High Level Synthesis；HLS）提供了一条......

期刊

检查器等效软件工程师软件验证行为描述仿真结果 Level 自动产生器

看过本文同时还关注