Tiankai Su

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 11

Top Topics

Formal Verification

Top Venues

Publications

Atif Yasin, Tiankai Su, Sébastien Pillement, Maciej J. Ciesielski
Formal Verification of Divider Circuits by Hardware Reduction. SMACD (2023)
Maciej J. Ciesielski, Tiankai Su, Atif Yasin, Cunxi Yu
Understanding Algebraic Rewriting for Arithmetic Circuit Verification: A Bit-Flow Model. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (6) (2020)
Atif Yasin, Tiankai Su, Sébastien Pillement, Maciej J. Ciesielski
SPEAR: Hardware-based Implicit Rewriting for Square-root Circuit Verification. DATE (2020)
Tiankai Su, Atif Yasin, Sébastien Pillement, Maciej J. Ciesielski
Formal Verification of Constrained Arithmetic Circuits using Computer Algebraic Approach. ISVLSI (2020)
Cunxi Yu, Tiankai Su, Atif Yasin, Maciej J. Ciesielski
Spectral approach to verifying non-linear arithmetic circuits. ASP-DAC (2019)
Atif Yasin, Tiankai Su, Sébastien Pillement, Maciej J. Ciesielski
Functional Verification of Hardware Dividers using Algebraic Model. VLSI-SoC (2019)
Cunxi Yu, Tiankai Su, Atif Yasin, Maciej J. Ciesielski
Spectral Approach to Verifying Non-linear Arithmetic Circuits. CoRR (2019)
Atif Yasin, Tiankai Su, Sébastien Pillement, Maciej J. Ciesielski
Formal Verification of Integer Dividers: Division by a Constant. ISVLSI (2019)
Tiankai Su, Atif Yasin, Cunxi Yu, Maciej J. Ciesielski
Computer Algebraic Approach to Verification and Debugging of Galois Field Multipliers. ISCAS (2018)
Cunxi Yu, Atif Yasin, Tiankai Su, Alan Mishchenko, Maciej J. Ciesielski
Rewriting Environment for Arithmetic Circuit Verification. LPAR (2018)
Tiankai Su, Cunxi Yu, Atif Yasin, Maciej J. Ciesielski
Formal Verification of Truncated Multipliers Using Algebraic Approach and Re-Synthesis. ISVLSI (2017)