High-Level Engineering Change Through Programmable Datapath and SMT Solvers.

Qinhao Wang Amir Masoud Gharehbaghi Takeshi Matsumoto Masahiro Fujita

Published in: ISCAS (2019)

Keyphrases

high level
low level
modulo theories
general purpose
higher level
engineering design
artificial intelligence
low cost
computer science
software engineering
engineering students
real time
sat solvers
computer aided design