Formal verification of structurally complex multipliers - Mahzoon, Alireza (Bremen, 2022)
Keywords: Hardwareverifikation; Digitale integrierte Schaltung; Computeralgebra; Hochschulschrift