Formal Verification of Divider Circuits by Hardware Reduction.
Proceedings of the 19th International Conference on Synthesis, 2023
Functional Verification of Arithmetic Circuits: Survey of Formal Methods.
Proceedings of the 25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2022
Understanding Algebraic Rewriting for Arithmetic Circuit Verification: A Bit-Flow Model.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
Formal Verification of Constrained Arithmetic Circuits using Computer Algebraic Approach.
Proceedings of the 2020 IEEE Computer Society Annual Symposium on VLSI, 2020
Dual Approach to Solving SAT in Hardware.
Proceedings of the 15th Design & Technology of Integrated Systems in Nanoscale Era, 2020
SPEAR: Hardware-based Implicit Rewriting for Square-root Circuit Verification.
Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020
Improving software requirements reasoning by novices: a story-based approach.
IET Softw., 2019
Functional Verification of Hardware Dividers using Algebraic Model.
Proceedings of the 27th IFIP/IEEE International Conference on Very Large Scale Integration, 2019
Formal Verification of Integer Dividers: Division by a Constant.
Proceedings of the 2019 IEEE Computer Society Annual Symposium on VLSI, 2019
Spectral approach to verifying non-linear arithmetic circuits.
Proceedings of the 24th Asia and South Pacific Design Automation Conference, 2019
Rewriting Environment for Arithmetic Circuit Verification.
Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018
Computer Algebraic Approach to Verification and Debugging of Galois Field Multipliers.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2018
Formal Verification of Truncated Multipliers Using Algebraic Approach and Re-Synthesis.
Proceedings of the 2017 IEEE Computer Society Annual Symposium on VLSI, 2017
Synergistic timing speculation for multi-threaded programs.
Proceedings of the 53rd Annual Design Automation Conference, 2016