Polynomial Formal Verification of Arithmetic Circuits

Rolf Drechsler, Alireza Mahzoon, Lennart Weingarten

2022Lecture notes on data engineering and communications technologies18 citationsDOI

Topics & Concepts

CorrectnessArithmetic circuit complexityArithmeticComputer scienceFormal verificationPolynomialElectronic circuitDigital electronicsMathematicsAlgorithmTheoretical computer scienceArbitrary-precision arithmeticElectrical engineeringEngineeringMathematical analysisFormal Methods in VerificationLow-power high-performance VLSI designLogic, programming, and type systems