Gr#x00F6; bner Bases; Hardware Verification; Word-Level Abstraction;
机译:Galois现场算术电路的形式验证的有效Gr?bner基简化
机译:从组合电路中进行字级抽象的高效符号计算,用于有限域验证
机译:多元值特征验证伽罗瓦场算术电路的代数方法
机译:使用Word级抽象的大型Galois现场算术电路的等价验证使用Grö BNER基础
机译:基于等效验证的异步睡眠会议逻辑电路的正式验证方法
机译:Galois场中的多项式算法
机译:高效的Gröbner基础缩短了Galois现场算术电路的正式验证
机译:基于词级决策图的算法电路验证