Login / Signup
Divider Verification Using Symbolic Computer Algebra and Delayed Don't Care Optimization.
Alexander Konrad
Christoph Scholl
Alireza Mahzoon
Daniel Große
Rolf Drechsler
Published in:
FMCAD (2022)
Keyphrases
</>
computer algebra
computer algebra systems
optimization algorithm
long term
theorem prover
optimization method
optimal design
optimization process
optimization model
face verification
real time
data sets
search algorithm
artificial neural networks
symbolic representation