伽罗瓦域乘法器的高效并行验证
符号计算
2019-01-25 v2 密码学与安全
计算机科学中的逻辑
摘要
伽罗瓦域（GF）算术用于实现通信和安全相关硬件中的关键算术组件，对此类组件的验证至关重要。当前形式化验证此类组件的技术基于在整数算术电路验证中证明成功的计算机代数方法。然而，这些方法本质上是顺序的，不提供任何并行性。本文提出了一种门级 GF(2^m) 乘法器的代数功能验证技术，其中验证以位并行方式进行。该方法基于独立提取每个输出位在伽罗瓦域中的唯一多项式。我们证明该方法能够在 n 个线程中验证 n 位 GF 乘法器。在综合前后的 Mastrovito 和 Montgomery 乘法器上进行的实验显示出高达 571 位的高效率。
引用
@article{arxiv.1611.05101,
title = {Efficient Parallel Verification of Galois Field Multipliers},
author = {Cunxi Yu and Maciej Ciesielski},
journal= {arXiv preprint arXiv:1611.05101},
year = {2019}
}
备注
6 pages, 22nd Asia and South Pacific Design Automation Conference (ASP-DAC 2017), Japan