2021年
Efficient Formal Verification of Galois-Field Arithmetic Circuits Using ZDD Representation of Boolean Polynomials
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
- ,
- ,
- 開始ページ
- 1
- 終了ページ
- 1
- 記述言語
- 掲載種別
- 研究論文(学術雑誌)
- DOI
- 10.1109/tcad.2021.3059924
- 出版者・発行元
- Institute of Electrical and Electronics Engineers (IEEE)
- リンク情報
- ID情報
-
- DOI : 10.1109/tcad.2021.3059924
- ISSN : 0278-0070
- eISSN : 1937-4151