自动产生器相关论文
一致化理论在自动推理、自然语言理解、逻辑证明、重写理论等研究领域中有着广泛的应用。目前语法一致化因子的产生算法和工具已经......
本文介绍的是一种介于未定时序（Untimed）的行为描述（如ANSIc）与RTL间的动态等效检查方法。高层综合（High Level Synthesis；HLS）提供了一条......
<正> 1 前言在测试系统上要开发一个数字电路测试程序,除了要研究、分析电路的功能、性能和进行测试程序的设计外,还需要经过下图......
本文介绍的是一种介于未定时序（Untimed）的行为描述（如ANSIc）与RTL间的动态等效检查方法。高层综合（High Level Synthesis；HLS）提供了一条......
