Applying an SMT Solver to Coverage-Driven Design Verification.

Kiyoharu Hamaguchi

Published in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2018)

Keyphrases

design process
building blocks
neural network
optimal design
engineering design
case study
user interface
data driven
software architecture
design methodology
functional verification
formal verification
design space
user experience
model checking
information extraction
support vector