Automated random verification of complex and structurally-variable systems
Filing Information
- Publication Number: US20030204388
- Application Number: US10132492
- Filing date: 04/25/2002
- Publication date: 10/30/2003
- Predicted expiration date: 04/25/2022
View assignee updates
analyzing 100 million+ documents to uncover your network...- U.S. Classifications: 703/14 ·
- International Classifications: G06F017/50 ·
- Related U.S. Application Data:
CROSS REFERENCE TO RELATED APPLICATIONS
0001 The present application may relate to co-pending application Ser. No. 09/915,806, filed Jul. 26, 2001, which is hereby incorporated by reference in its entirety. - View document at: (opens new window):
USPTO · PAIR · esp@cenet · Patent Family
Abstract
An apparatus comprising a system configuration generator, a system builder and a simulation verification environment. The system configuration generator may be configured to generate a random system configuration file of a structurally variable and complex system. The system builder may be configured to build a system level netlist in response to the random system configuration file. The simulation verification environment may be configured to verify the structurally variable and complex system in response to the system level netlist. The simulation verification environment may be configured to provide automatic random verification of the system in response to the random system configuration file.References Cited
The current document has no citations.Referenced By
| Document Number | Assignee | Inventors | Issue/Pub Date |
|---|---|---|---|
| US7412691 | International Business Machines Corporation | James I. Bognar | Aug 2008 |
| US7509246 | Altera Corporation | Philippe Molson et al. | Mar 2009 |
Patent Family
The current document is not in a family.Independent Claims | See all claims (18)
- 1. An apparatus comprising: a system configuration generator configured to generate a random system configuration file of a structurally variable and complex system; a system builder configured to build a system level netlist in response to said random system configuration file; and a simulation verification environment configured to verify said structurally variable and complex system in response to said system level netlist, wherein said simulation verification environment is configured to provide automatic random verification of said structurally variable and complex system in response to said random system configuration file.
- 10. An apparatus comprising: means for generating a system configuration file of a structurally variable and complex system; means for building a system level netlist in response to said random system configuration file; means for verifying said structurally variable and complex system in response to said system level netlist; and means for providing automatic random verification of said structurally variable and complex system in response to said system configuration file.
- 11. A method for automated random verification of structurally variable and complex systems, comprising the steps of: (A) generating a random system configuration file of said system; (B) generating one or more parameters of said system in response to said random system configuration file; (C) generating a system level netlist of said system in response to said random system configuration file; (D) verifying one or more target modules with said system in response to said system level netlist; and (E) automatically and randomly adjusting step (D) in response to said random system configuration file.
