Methods, systems and media for management of functional verification of a
system are disclosed. One embodiment may be directed to methods, systems
and media for management of functional verification of a computer system,
such as a processor or IC chip. Embodiments may include a verification
manager for user input and a functional verification database for
centralized storage of functional verification information. Embodiment
may also include a coverage analysis environment that receives test
information from a simulation and test generation environment, converts
it if necessary, and selectively stores information in the functional
verification database. In a further embodiment, a harvest module
determines whether a test should be saved for future regression testing,
and tests that add to functional coverage are added to a regression
suite.