1. A functional verification management system comprising:
a verification manager responsive to user input;
a functional verification database coupled to the verification manager; and
a coverage analysis environment coupled to the functional verification database, wherein the coverage analysis environment is adapted to receive test information from a simulation and test generation environment, wherein further the coverage analysis environment selectively converts test information to a standard format; and wherein further the coverage analysis environment selectively stores in the functional verification database information based on the received test information.
2. The functional verification management system of claim 1, further comprising:
a regression suite adapted to store regression tests; and
a harvester module coupled to the functional verification database and the regression suite, the harvester module being adapted to determine whether a test should be further evaluated for regression testing and to selectively save test information to the regression suite, wherein the harvester module utilizes a harvesting language.
3. The functional verification management system of claim 2, further comprising an extractor module coupled to the harvester module and the functional verification database, the extractor module being adapted to receive simulation logs and extract information from the simulation logs for transmittal to the harvester module.
4. The functional verification management system of claim 1, further comprising a director module coupled to the verification manager and the functional verification database, the director module being adapted to provide an indication of a gap in the functional coverage.
5. The functional verification management system of claim 4, wherein the indication of a gap in the functional coverage includes a natural language instruction on what class of tests are needed to be generated and directions on how to generate them.
6. The functional verification management system of claim 1, further comprising a tabulator module coupled to the verification manager and the functional verification database, the tabulator module being adapted to receive test information, to calculate its contribution to verification tasks, and to generate cumulative test results based on the received test information.
7. The functional verification management system of claim 1, further comprising an analyzer module coupled to the verification manager and the functional verification database, the analyzer module being adapted to analyze coverage data at both the architectural level and the microarchitectural level.
8. The functional verification management system of claim 7, wherein the analyzer module provides a coverage analysis modeling language.
9. The functional verification management system of claim 7, further comprising a trace generator module coupled to the analyzer module and the functional verification database, the trace generator module being adapted to receive tests, wherein the trace generator module converts tests to a format usable by other tools or utilities of the functional verification management system.
10. The functional verification management system of claim 1, wherein the verification manager further comprises a report generator, the report generator being adapted to create reports based on information contained within the functional verification database or information generated by tools or utilities of the functional verification management system.
11. The functional verification management system of claim 1, wherein the verification manager further comprises a coverage engineering module, the coverage engineering module being adapted to configure functional verification settings based on user input.
12. The functional verification management system of claim 1, wherein the verification manager further comprises a performance module, the performance module being adapted to redirect computer resources.
13. The functional verification management system of claim 1, wherein the verification manager further comprises an administration module to perform administration tasks based on user input.
14. The functional verification management system of claim 1, wherein the verification manager is a Web-based application accessible by a plurality of users.
15. The functional verification management system of claim 1, wherein the verification manager and the coverage analysis environment are distributed on at least two servers.
16. The functional verification management system of claim 1, further comprising a server farm manager coupled to the coverage analysis environment, the server farm manager being in communication with a plurality of distributed servers, wherein the server farm manager is adapted to assign a server to any process of the functional verification management system based on the distribution of loads across the plurality of distributed servers.
17. A method for performing function verification of a system, the method comprising:
receiving a request for a test;
receiving from a simulation and test generation environment an indication of the results of the test;
determining, based on the indication of the results of test, whether the test adds functional coverage; and
archiving tests that add functional coverage in a regression suite.
18. The method of claim 17, further comprising converting the indication of the test results to a standard format.
19. The method of claim 17, further comprising saving the indication of the results of the test in the functional verification database.
20. A method for performing function verification of a design, the method comprising:
monitoring tests received from a simulation and test generation environment;
saving the indication of the results of the test in a functional verification database;
determining for each test whether the test adds functional coverage; and
transmitting the test to a regression suite.
21. A computer readable medium containing a program which, when executed, performs an operation, comprising:
receiving a request for a test;
receiving from a simulation and test generation environment an indication of the results of the test;
determining, based on the indication of the results of test, whether the test adds functional coverage; and
archiving tests that add functional coverage in a regression suite.
22. The computer readable medium of claim 21, further comprising saving the indication of the results of the test in the functional verification database.
23. A computer readable medium containing a program which, when executed, performs an operation, comprising:
monitoring tests received from a simulation and test generation environment;
saving the indication of the results of the test in a functional verification database;
determining for each test whether the test adds functional coverage; and
transmitting the test to a regression suite.
24. A method for performing function verification on multiple aspects of a design, the method comprising:
defining verification strategies for a plurality of design teams, the verification strategies including preferences for design and verification tools and simulation strategies, wherein each design team is associated with a particular aspect of the design;
monitoring tests received from a simulation and test generation environment;
for each verification strategy, determining for each test whether the test adds functional coverage; and
transmitting each test to a regression suite associated with at least one verification strategy.
25. The method of claim 24, further comprising transmitting to the simulation and test generation environment an indication of a request for a test adapted to add functional coverage.
26. The method of claim 24, further comprising dynamically updating all databases associated with each verification strategy with information relating to each test.
The claims below are in addition to those above.
All refrences to claim(s) which appear below refer to the numbering after this setence.
What is claimed is:
1. A spine supporting system comprising:
a screw having a cone shaped body and a head including at least a female thread, cap assembled surface, and a head block;
an inner bolt having a male thread at an outer circumference to be inserted and mounted in the head of the screw;
an outer cap having an inner cavity to cover the head of the screw;
a rod inserted in the head of the screw and fixed by the outer cap and the inner bolt, being characterized in that the outer cap is formed with a guide female thread at an upper part of an inner cavity, thereby joining the inner bolt to the guide female thread of the outer cap preliminary, and then joining the inner bolt to the female thread of the screw completely after mounting the outer cap to the head of the screw in the actual operation.
2. A spine supporting system according to claim 1, being characterized in that inner bolt is formed with a head part extending outwardly from an upper part thereof, and the outer cap is formed at an upper part of the guide female thread with a seat recess, in which the head part of the inner bolt is fastened and seated.
3. A spine supporting system according to claim 1, being characterized in that the inner cavity of the outer cap includes a first and second step surface having different inner diameters in order to cover the cap assembled surface and head block of the head.
4. A spine supporting system according to claim 1, being characterized in that the guide female thread is formed with a pitch of a limited number of a crest and root, which the inner bolt is only joined to the outer cap preliminarily and guided thereby such that the centering in the joining of the female thread of the screw and inner bolt, is not interfered with.
5. A spine supporting system according to claim 1, being characterized in that the screw is formed with a first and second round surface at a boundary of the cap assembled surface and an upper surface and a portion between the cap assembled surface and head block respectively, and the outer cap is formed with round surfaces at a portion between the first and second step surface and an inner end of a lower part in the second step surface respectively.
6. A spine supporting system comprising:
an inner bolt formed with a respective fastening part of an upper part and fastening groove of the lower part;
an outer cap formed with a supporting segment of an upper part, the supporting segment being joined rotatively with the fastening part of the inner bolt; and
a reinforcement ring joined in the outer cap by tight fitting, a supporting segment in a lower part of the reinforcement ring being joined rotatively in the fastening groove of the inner bolt, wherein joining the inner bolt supported at the upper and lower part thereof by the outer cap and reinforcement ring.