Woohoo! Our book, "Formal Verification of Structurally Complex Multipliers," has officially arrived in hardcover format! After putting in years of work, it's an indescribable feeling to finally have the physical copy in my hands.

More information: https://link.springer.com/book/10.1007/978-3-031-24571-8

#SymbolicComputerAlgebra #SCA #FormalVerification #Circuits #Hardware #Springer