定点数据通路相关论文
以vanishing多项式理想的极小强Grbner基为理论基础,提出一种针对定点算术数据通路的等价性检验方法.通过使用多项式函数建模定点......
随着集成电路的规模变得越来越大、功能越来越复杂，功能验证已经成为设计流程的主要瓶颈。据统计，设计验证的时间已占到整个设计周期......
