搜索结果: 1-1 共查到“电子科学与技术 Functional Verification”相关记录1条 . 查询时间(0.078 秒)
Functional Verification of Arithmetic Circuits using Linear Algebra Methods
Functional Verification Arithmetic Circuits Linear Algebra SMT Arithmetic bit-level Equivalence checking
2014/12/8
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 circ...