Sign in
Toward automated reasoning for analog IC design by symbolic computation - A survey.
Guoyong Shi
Published in:
Integr. (2018)
Keyphrases
</>
automated reasoning
knowledge representation
theorem proving
neural network
general purpose
reasoning tasks
automated verification
data mining
machine learning
artificial intelligence
high level
vlsi architecture