Name
Title | ||
|---|---|---|
Scalable conditional equivalence checking: An automated invariant-generation based approach |
Year | DOI | Venue |
|---|---|---|
2009 | 10.1109/FMCAD.2009.5351131 | FMCAD |
Keywords | Field | DocType |
scalability,pipelines,optimization,computational modeling,logic gates,equivalence checking,data mining,software engineering,logic design | Logic synthesis,Formal equivalence checking,Observability,Computer science,Algorithm,Theoretical computer science,Real-time computing,Heuristics,Equivalence (measure theory),Invariant (mathematics),Speedup,Scalability | Conference |
Citations | PageRank | References |
5 | 0.60 | 19 |
Authors | ||
5 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jason Baumgartner | 1 | 313 | 23.36 |
| Hari Mony | 2 | 186 | 13.30 |
| Michael Case | 3 | 44 | 6.66 |
| Jun Sawada | 4 | 325 | 21.16 |
| Karen Yorav | 5 | 479 | 32.67 |