...
机译:使用有限环代数对多项式数据路径进行等效性验证的模拟边界
Bit-vector arithmetic; equivalence checking; finite integer rings; polynomial functions; simulation-based verification;
机译:使用有限环代数优化多项式数据路径
机译:使用理想隶属度检验的多项式数据路径的等效性验证
机译:关于多项式环的环形C-algebras的K-理论
机译:使用有限环代数等价验证具有固定大小位向量的多项式数据路径
机译:使用有限环代数的算术数据路径等价验证
机译:有界代数整数集上的积分值多项式
机译:基于有限环代数的固定大小位向量多项式数据通路的等价性验证