A Faithful Binary Circuit Model.

Matthias Függer Robert Najvirt Thomas Nowak Ulrich Schmid

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2020)

Keyphrases

computational model
high level
probabilistic model
theoretical analysis
theoretical framework
formal model
genetic algorithm
multi agent
management system
markov random field
mathematical model
linear model