A Bayesian network-based framework with Constraint Satisfaction Problem (CSP) formulations for FPGA system design | IEEE Conference Publication | IEEE Xplore