Text this: A Bayesian network-based framework with Constraint Satisfaction Problem (CSP)formulations for FPGA system design