文献

J-GLOBAL ID：201802217051824576   整理番号：18A2040882

Galois場乗算器の検証とデバッギングに対する計算機代数的アプローチ【JST・京大機械翻訳】

Computer Algebraic Approach to Verification and Debugging of Galois Field Multipliers

著者 (4件)： Su Tiankai (University of Massachusetts, ECE Department, Amherst,USA) ,  Yasin Atif (University of Massachusetts, ECE Department, Amherst,USA) ,  Yu Cunxi (University of Massachusetts, ECE Department, Amherst,USA) ,  Ciesielski Maciej (University of Massachusetts, ECE Department, Amherst,USA)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2018  号： ISCAS  ページ： 1-5  発行年： 2018年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 本論文では,Galois場演算に実装されたゲートレベル演算回路を検証し,デバッグするための新しい方法を提案した。この方法は,その論理ゲートのGF(2)モデルを用いて,GF(2~m)における回路の仕様多項式の順方向縮小に基づいている。回路における検証,バグ検出,自動バグ補正を可能にする順方向可変次数「FO>」と順方向縮小のルールを定義し,順方向縮小により生成された剰余を解析することにより,回路がバグの有無を決定し,位置とタイプを見出すことができる。MastrovitoとMontgomery乗算器で行った実験は,著者らのデバッギング法がバグの位置に依存しないことを示し,デバッギング時間はバグのない回路を検証するのに必要な時間に匹敵する。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 演算 ,  ソフトウェア障害 ,  多項式 ,  計算機械 ,  *デバッギング ,  *乗算器
準シソーラス用語： Montgomery乗算 ,  次数 ,  論理ゲート ,  演算回路 , 【Automatic Indexing@JST】

分類 (3件)： NMR一般  (BM07041R) ,  図形・画像処理一般  (JE04010I) ,  医用画像処理  (JE04020T)

タイトルに関連する用語 (5件)： 乗算器 ,  検証 ,  デバッギング ,  計算機 ,  代数的アプローチ