Computer Algebraic Approach to Verification and Debugging of Galois Field Multipliers
Tiankai Su, Yasin, Atif, Cunxi Yu, Ciesielski, Maciej
Published in 2018 IEEE International Symposium on Circuits and Systems (ISCAS) (01.05.2018)
Published in 2018 IEEE International Symposium on Circuits and Systems (ISCAS) (01.05.2018)
Get full text
Conference Proceeding
Formal Verification of Truncated Multipliers Using Algebraic Approach and Re-Synthesis
Tiankai Su, Cunxi Yu, Yasin, Atif, Ciesielski, Maciej
Published in 2017 IEEE Computer Society Annual Symposium on VLSI (ISVLSI) (01.07.2017)
Published in 2017 IEEE Computer Society Annual Symposium on VLSI (ISVLSI) (01.07.2017)
Get full text
Conference Proceeding
SPEAR: Hardware-based Implicit Rewriting for Square-root Circuit Verification
Yasin, Atif, Su, Tiankai, Pillement, Sebastien, Ciesielski, Maciej
Published in 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.03.2020)
Published in 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.03.2020)
Get full text
Conference Proceeding
Formal Verification of Divider Circuits by Hardware Reduction
Yasin, Atif, Su, Tiankai, Pillement, Sebastien, Ciesielski, Maciej
Published in 2023 19th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD) (03.07.2023)
Published in 2023 19th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD) (03.07.2023)
Get full text
Conference Proceeding
Formal Verification of Constrained Arithmetic Circuits using Computer Algebraic Approach
Su, Tiankai, Yasin, Atif, Pillement, Sebastien, Ciesielski, Maciej
Published in 2020 IEEE Computer Society Annual Symposium on VLSI (ISVLSI) (01.07.2020)
Published in 2020 IEEE Computer Society Annual Symposium on VLSI (ISVLSI) (01.07.2020)
Get full text
Conference Proceeding
Spectral Approach to Verifying Non-Linear Arithmetic Circuits
Yu, Cunxi, Su, Tiankai, Yasin, Atif, Ciesielski, Maciej
Published in 2019 24th Asia and South Pacific Design Automation Conference (ASP-DAC) (21.01.2019)
Published in 2019 24th Asia and South Pacific Design Automation Conference (ASP-DAC) (21.01.2019)
Get full text
Conference Proceeding
Formal Verification of Integer Dividers:Division by a Constant
Yasin, Atif, Su, Tiankai, Pillement, Sebastien, Ciesielski, Maciej
Published in 2019 IEEE Computer Society Annual Symposium on VLSI (ISVLSI) (01.07.2019)
Published in 2019 IEEE Computer Society Annual Symposium on VLSI (ISVLSI) (01.07.2019)
Get full text
Conference Proceeding