Name
Abstract | ||
|---|---|---|
This paper describes a new coverage methodology developed at IBM's Haifa Research Lab. The main idea behind the methodology is a separation of the coverage model definition from the coverage analysis tool. This enables the user to define the coverage models that best fit the points of significance in the design, and still have the benefits of a coverage tool. To support this methodology, we developed a new coverage measurement tool called Comet. The tool is currently used in many domains, such as system verification and micro-architecture verification, and in many types of designs ranging from systems, to microprocessors, and ASICs. |
Year | DOI | Venue |
|---|---|---|
1998 | 10.1145/277044.277081 | DAC |
Keywords | Field | DocType |
main idea,high-level synthesis,coverage tool,coverage model definition,new coverage methodology,coverage model,system verification,new coverage measurement tool,haifa research lab,micro-architecture verification,design verification,telecommunication,coverage analysis tool,investments,formal verification,process design,high level synthesis,design methodology,comet,system testing | IBM,Functional verification,Systems engineering,Computer science,Intelligent verification,High-level synthesis,Runtime verification,Verification,High-level verification,Formal verification | Conference |
ISBN | Citations | PageRank |
0-89791-964-5 | 59 | 37.05 |
References | Authors | |
3 | 5 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Raanan Grinwald | 1 | 59 | 37.05 |
| Eran Harel | 2 | 59 | 37.05 |
| Michael Orgad | 3 | 59 | 37.05 |
| Shmuel Ur | 4 | 885 | 101.32 |
| Avi Ziv | 5 | 465 | 72.49 |