Login / Signup
A compositional model for the functional verification of high-level synthesis results.
Dominique Borrione
Julia Dushina
Laurence V. Pierre
Published in:
IEEE Trans. Very Large Scale Integr. Syst. (2000)
Keyphrases
</>
probabilistic model
graphical models
bayesian networks