A design is verified by using equivalence checking to compare a word-level description of the design to a bit-level description of the design. A subscriber account with a multi-channel video program distributor includes subscription information indicative of the services provided by the MVPD to the subscriber. Each circuit has first and second diodes that are switched in accordance with a clock cycle to charge and discharge the associated circuit. Strengthening and interlock devices are provided to ensure performance quality akin to traditional golf clubs.