Subject
General Materials Science
Reference15 articles.
1. 闫硕. 基于多项式符号代数的电路形式验证[D]: [硕士学位论文]. 北京: 北京交通大学, 2011.
2. Biere, A. (2016) Collection of Combinational Arithmetic Miters Submitted to the SAT Competition 2016. Proceedings of SAT Competition 2016—Solver and Benchmark Descriptions, Vol. B-2016-1, 65-66.
3. Verification of arithmetic circuits using binary moment diagrams
4. Automated and Scalable Verification of Integer Multipliers
5. Understanding Algebraic Rewriting for Arithmetic Circuit Verification: A Bit-Flow Model