首页> 外文OA文献 >Efficient Gröbner Basis Reductions for Formal Verification of Galois Field Arithmetic Circuits

【2h】

Efficient Gröbner Basis Reductions for Formal Verification of Galois Field Arithmetic Circuits

机译：高效的Gröbner基础缩短了Galois现场算术电路的正式验证

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Jinpeng Lv; Priyank Kalla; Florian Enescu;
展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Efficient Gr?bner Basis Reductions for Formal Verification of Galois Field Arithmetic Circuits [J] . Lv, J., Kalla, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems . 2013,第9期

机译：Galois现场算术电路的形式验证的有效Gr？bner基简化
2. Formal Approach for Verifying Galois Field Arithmetic Circuits of Higher Degrees [J] . Rei Ueno, Naofumi Homma, Yukihiro Sugawara, IEEE Transactions on Computers . 2017,第3期

机译：验证高次Galois场算术电路的形式化方法
3. Formal Design of Arithmetic Circuits over Galois Fields Based on Normal Basis Representations [J] . Kotaro OKAMOTO, Naofumi HOMMA, Takafumi AOKI IEICE transactions on information and systems . 2014,第9期

机译：基于正态基表示的伽罗瓦域算术电路的形式化设计
4. Efficient Gröbner basis reductions for formal verification of galois field multipliers [C] . Jinpeng Lv Design, Automation amp; Test in Europe Conference amp; Exhibition (DATE), 2012 . 2012

机译：高效的Gröbner基减少可用于正式验证伽罗瓦域乘法器
5. Scalable formal verification of finite field arithmetic circuits using computer algebra techniques. [D] . Lv, Jinpeng. 2012

机译：使用计算机代数技术的有限域算术电路的可扩展形式验证。
6. The Arithmetic of Polynomials in a Galois Field [O] . Leonard Carlitz 1931

机译：Galois场中的多项式算法
7. Towards Efficient Verification of Arithmetic Algorithms over Galois Fields GF(2m) [O] . Sumio Morioka, Yasunao Katayama, Toshiyuki Yamane 2001

机译：在Galois Fields上有效验证算术算法GF（2M）

Efficient Gröbner Basis Reductions for Formal Verification of Galois Field Arithmetic Circuits

著录项

引文网络

相似文献

相关主题

期刊订阅