Polynomial Formal Verification of Arithmetic Circuits

by Alireza Mahzoon and Rolf Dreschler

In recent years, significant effort has been put into developing formal verification approaches in both academic and industrial research. In practice, these techniques often give satisfying results for some types of circuits, while they fail for others. A major challenge in this domain is that the verification techniques suffer from unpredictability in their performance. The only way to overcome this challenge is the calculation of bounds for the...

• Format: Paperback
• Language: English
• ISBN: 1638284040
• ISBN13: 9781638284048
• Release Date: September 2024
• Publisher: Now Publishers
• Length: 86 Pages
• Weight: 0.30 lbs.
• Dimensions: 0.2" x 6.1" x 9.2"