共 50 条
- [2] Effective Formal Verification for Galois-field Arithmetic Circuits with Multiple-Valued Characteristics 2020 IEEE 50TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2020), 2020, : 46 - 51
- [3] System for Automatic Generation of Parallel Multipliers over Galois Fields 2015 IEEE 45TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, 2015, : 54 - 59
- [4] Computations in Galois field using multiple-valued logic NAFIPS 2005 - 2005 Annual Meeting of the North American Fuzzy Information Processing Society, 2005, : 787 - 792
- [6] Automatic Generation of Formally-Proven Temper-Resistant Galois-Field Multipliers Based on Generalized Masking Scheme PROCEEDINGS OF THE 2017 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2017, : 978 - 983
- [8] Multiple-valued Galois Field S/D trees for GFSOP minimization and their complexity 31ST INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2001, : 159 - 166
- [9] Circuit design from Kronecker Galois Field Decision Diagrams for multiple-valued functions 27TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC - 1997 PROCEEDINGS, 1997, : 275 - 280
- [10] Multiple-valued logic approach for a Systolic AB2 circuit in Galois field 35th International Symposium on Multiple-Valued Logic, Proceedings, 2005, : 88 - 93