Symbolic Circuit Analysis under an Arc Based Timing Model.

Görschwin Fey Alberto García Ortiz

Published in: ETS (2019)

Keyphrases

formal model
mathematical analysis
cost function
quantitative analysis
mathematical model
objective function
computational model
probabilistic model
high level
least squares
statistical model
neural network model
data analysis
prediction model
object model
network model
empirical data