Design Verification at Texas Instruments — BranchFactor