Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 1 of 1
Full-Text Articles in Engineering
Functional Verification Of Arithmetic Circuits Using Linear Algebra Methods, Mohamed Basith Abdul Ameer Abdul Kader
Functional Verification Of Arithmetic Circuits Using Linear Algebra Methods, Mohamed Basith Abdul Ameer Abdul Kader
Masters Theses 1911 - February 2014
This thesis describes an efficient method for speeding up functional verification of arithmetic circuits namely linear network such as wallace trees, counters using linear algebra techniques. The circuit is represented as a network of half adders, full adders and inverters, and modeled as a system of linear equations. The proof of functional correctness of the design is obtained by computing its algebraic signature using standard linear programming (LP) solver and comparing it with the reference signature provided by the designer. Initial experimental results and comparison with Satisfiability Modulo Theorem (SMT) solvers show that the method is efficient, scalable and applicable …