Name
Abstract | ||
|---|---|---|
Do formal verification tools and methodologies require a drastic overhaul to move beyond equivalence checking? Equivalence checking catches errors in synthesis and local hand-modifications to designs. However, powerful formal verification technologies are emerging to combat "behavioral" errors, which represent today's biggest verification problems. Nonetheless, formal verification experts are split on how formal tools should adapt to this challenge. Some of our panelists feel that designers can sufficiently benefit from new formal verification technologies by making incremental changes to current methodologies. Others, however, argue that major changes are required to reap meaningful benefits from these new technologies. Just how much change is enough, what is the capacity of our current tools and what is limiting the full deployment of FV technology.Our panel of experts, consisting of users, tool providers, and core engine builders, will answer these challenging questions. The panel will debate these issues while discussing real life examples from the user base. They will provide a perspective of how the progression of technology will bring the real promise of formal verification to the user base. |
Year | DOI | Venue |
|---|---|---|
2002 | 10.1145/513918.514064 | DAC |
Keywords | Field | DocType |
engines,arithmetic,formal specifications,vliw,public relations,vehicle dynamics,equivalence checking,formal verification,fpga,design methodology,hardware acceleration | Formal equivalence checking,Functional verification,Software deployment,Computer science,Electronic engineering,Formal specification,Design methods,Real-time computing,Emerging technologies,Hardware acceleration,Formal verification | Conference |
ISBN | Citations | PageRank |
1-58113-461-4 | 0 | 0.34 |
References | Authors | |
0 | 9 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| David L. Dill | 1 | 12629 | 1293.07 |
| Nate James | 2 | 0 | 0.34 |
| Shishpal Rawat | 3 | 10 | 6.54 |
| Gérard Berry | 4 | 12 | 1.00 |
| Limor Fix | 5 | 937 | 118.11 |
| Harry Foster | 6 | 98 | 9.24 |
| Rajeev K. Ranjan | 7 | 968 | 79.15 |
| Gunnar Stålmarck | 8 | 129 | 11.18 |
| Curt Widdoes | 9 | 0 | 0.34 |