Farimah Farahmandi, Bijan Alizadeh, Zainalabedin Navabi. Effective Combination of Algebraic Techniques and Decision Diagrams to Formally Verify Large Arithmetic Circuits. In IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2014, Tampa, FL, USA, July 9-11, 2014. pages 338-343, IEEE, 2014. [doi]
Abstract is missing.