1. A verification system, comprising a plurality of verification engines; a system framework, coupled to said plurality of verification engines, for dividing a verification problem into a plurality of independent partitions for processing by distinctly separate verification engines; and logic within said plurality of verification engines for further dividing said plurality of independent partitions into a plurality of independent sub-partitions for processing by distinctly separate verification engines.