Polynomial Formal Verification of Arithmetic Circuits

Alireza Mahzoon | Rolf Drechsler

978-1-63828-404-8

65.00 USD