Efficient Formal Verification of Galois-Field Arithmetic Circuits Using ZDD Representation of Boolean Polynomials
Akira Ito
◽
Rei Ueno
◽
Naofumi Homma
Akira Ito
◽
Rei Ueno
◽
Naofumi Homma
Xiaojun Sun
◽
Priyank Kalla
◽
Tim Pruss
◽
Florian Enescu
2013 ◽
Vol 32
(9)
◽
pp. 1409-1420
◽
Jinpeng Lv
◽
Priyank Kalla
◽
Florian Enescu
Tim Pruss
◽
Priyank Kalla
◽
Florian Enescu
Tiankai Su
◽
Atif Yasin
◽
Sebastien Pillement
◽
Maciej Ciesielski
Rei Ueno
◽
Naofumi Homma
◽
Takafumi Aoki
Jinpeng Lv
◽
Priyank Kalla
2019 ◽
Vol 38
(2)
◽
pp. 354-365
◽
Cunxi Yu
◽
Maciej Ciesielski
2015 ◽
Vol 39
(2)
◽
pp. 83-96
◽
Farimah Farahmandi
◽
Bijan Alizadeh
Jinpeng Lv
◽
P. Kalla
◽
F. Enescu