Loading...
Please wait, while we are loading the content...
Similar Documents
User De ned Coverage - A Tool Supported Methodology for Design Veri cation
| Content Provider | Semantic Scholar |
|---|---|
| Author | Harel, Eran Orgad, Michael Ur, Shmuel |
| Copyright Year | 1998 |
| 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 de nition from the coverage analysis tool. This enables the user to de ne the coverage models that best t the points of signi cance in the design, and still have the bene ts 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 veri cation and micro-architecture veri cation, and in many types of designs ranging from systems, to microprocessors, and ASICs. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.cs.york.ac.uk/rts/docs/SIGDA-Compendium-1994-2004/papers/1998/dac98/pdffiles/09_2.pdf |
| Alternate Webpage(s) | http://www.sigda.org/Archives/ProceedingArchives/Dac/Dac98/papers/1998/dac98/pdffiles/09_2.pdf |
| Alternate Webpage(s) | http://www.cecs.uci.edu/~papers/compendium94-03/papers/1998/dac98/pdffiles/09_2.pdf |
| Alternate Webpage(s) | http://herkules.informatik.tu-chemnitz.de/proceedings/dac-98/pdffiles/09_2.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |