Algebraic approach to arithmetic design verification.

Mohamed Abdul Basith Tariq B. Ahmad André Rossi Maciej J. Ciesielski

Published in: FMCAD (2011)

Keyphrases

information systems
engineering design
design process
knowledge base
optimal design
case study
object oriented
formal verification
real time
design space
conceptual framework
model checking
building blocks
face recognition
website
artificial intelligence
machine learning