Functional Vector Generation for HDL Models Using Linear Programming and 3-Satisfiability.

Farzan Fallah Srinivas Devadas Kurt Keutzer

Published in: DAC (1998)

Keyphrases

linear programming
complex systems
statistical models
autoregressive
optimal solution
feature vectors
dynamic programming
probabilistic model
model selection
statistical model