A-3-2 A Case Study of Viterbi Decoder Design with Behavior Synthesis