Hardware Design & Test Flow from Behavior Level Modeling