Effective Combination of Algebraic Techniques and Decision Diagrams to Formally Verify Large Arithmetic Circuits - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Farimah Farahmandi' in GoogleThis author has not been identified. Look up 'Bijan Alizadeh' in GoogleThis author has not been identified. Look up 'Zainalabedin Navabi' in Google

runs on WebDSL