SystemC Modeling, Synthesis, and Verification in Catapult C