发送短信 : A Bayesian network-based framework with Constraint Satisfaction Problem (CSP) formulations for FPGA system design