1. A system for assisting in generation of a hardware emulation test suite for verifying a design under test by a hardware emulator, the system comprising: a properties database that stores properties automatically detected from previously executed verifications of prior designs of electronic circuitries; and an emulation property generator system coupled to the properties database, wherein the emulation property generator system: accesses the design under test; and selects from the properties database a set of properties for incorporation into the hardware emulation test suite, the set selected based on a relation of the design under test to the prior designs and also selected based on whether properties are synthesizable for the hardware emulator.