Patent ReferencesSoftware verification apparatus Method and apparatus for testing and evaluation of distributed networks System and method for testing distributed systems System and method for selecting test units to be re-run in software regression testing Automated software regression test and compilation system Method for measuring architectural test coverage for design verification and building conformal test Automated analysis of a model based diagnostic system Integrated circuit test coverage evaluation and adjustment mechanism and method System for remote debugging of client/server application 6301701 InventorAssigneeApplicationNo. 10864628 filed on 06/09/2004US Classes:714/37, Analysis (e.g., of output, state, or design)714/33, Derived from analysis (e.g., of a specification or by stimulation)716/5, Design verification (e.g., wiring line capacitance, fan-out checking, minimum path width)714/26, Artificial intelligence (e.g., diagnostic expert system)716/6, Timing analysis (e.g., delay time, path delay, latch timing)702/186, Computer and peripheral benchmarking714/38, Of computer software703/14, Circuit simulation702/183, Diagnostic analysis716/4, Testing or evaluating717/130, Including instrumentation and profiling713/300COMPUTER POWER CONTROLExaminersPrimary: Duncan, MarcAttorney, Agent or FirmForeign Patent References
International ClassG06F 11/00AbstractMethods, 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.Other References
| |