U.S. patents available from 1976 to present.
U.S. patent applications available from 2005 to present.

Methods, systems, and media for management of functional verification

Patent 7278056 Issued on October 2, 2007. Estimated Expiration Date: Icon_subject June 9, 2024. Estimated Expiration Date is calculated based on simple USPTO term provisions. It does not account for terminal disclaimers, term adjustments, failure to pay maintenance fees, or other factors which might affect the term of a patent.

Patent References

Software verification apparatus
Patent #: 5022028
Issued on: 06/04/1991
Inventor: Edmonds, et al.

Method and apparatus for testing and evaluation of distributed networks
Patent #: 5271000
Issued on: 12/14/1993
Inventor: Engbersen, et al.

System and method for testing distributed systems
Patent #: 5544310
Issued on: 08/06/1996
Inventor: Forman, et al.

System and method for selecting test units to be re-run in software regression testing
Patent #: 5673387
Issued on: 09/30/1997
Inventor: Chen, et al.

Automated software regression test and compilation system
Patent #: 5694540
Issued on: 12/02/1997
Inventor: Humelsine, et al.

Method for measuring architectural test coverage for design verification and building conformal test
Patent #: 5724504
Issued on: 03/03/1998
Inventor: Aharon, et al.

Automated analysis of a model based diagnostic system
Patent #: 5922079
Issued on: 07/13/1999
Inventor: Booth, et al.

Integrated circuit test coverage evaluation and adjustment mechanism and method
Patent #: 6212667
Issued on: 04/03/2001
Inventor: Geer, et al.

System for remote debugging of client/server application
Patent #: 6263456
Issued on: 07/17/2001
Inventor: Boxall, et al.

6301701

More ...

Inventor

Assignee

Application

No. 10864628 filed on 06/09/2004

US 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 CONTROL

Examiners

Primary: Duncan, Marc

Attorney, Agent or Firm

Foreign Patent References

  • 07-104834 JP 04/01/1995

International Class

G06F 11/00

Abstract

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.

Other References

  • Black, M.D.; Nguyen, T.L.: & Freeman, A.T.;“IBM Technical Disclosure Bulletin” v36, n8,pp. 127-130 (Aug. 1993).
  • IBM, “Research Disclosure”, v41, n412, #41265 (Aug. 1998).
PatentsPlus Images
Enhanced PDF formats
loading...
PatentsPlus: add to cart
PatentsPlus: add to cartSearch-enhanced full patent PDF image
$9.95more info
PatentsPlus: add to cart
PatentsPlus: add to cartIntelligent turbocharged patent PDFs with marked up images
$18.95more info
 
Sign InRegister
Username  
Password   
forgot password?