Formal verification of modular multipliers using symbolic computer algebra and boolean satisfiability - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alireza Mahzoon, Daniel Große, Christoph Scholl 0001, Alexander Konrad, Rolf Drechsler. Formal verification of modular multipliers using symbolic computer algebra and boolean satisfiability. In Rob Oshana, editor, DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10 - 14, 2022. pages 1183-1188, ACM, 2022. [doi]

This author has not been identified. Look up 'Alireza Mahzoon' in GoogleThis author has not been identified. Look up 'Daniel Große' in GoogleThis author has not been identified. Look up 'Christoph Scholl 0001' in GoogleThis author has not been identified. Look up 'Alexander Konrad' in GoogleThis author has not been identified. Look up 'Rolf Drechsler' in Google

runs on WebDSL