Abstract | ||
---|---|---|
The ability to enhance single-thread performance, such as by increasing clock frequency, is reaching a point of diminishing returns: power is becoming a dominating factor and limiting scalability. Adding additional cores is a scalable way to increase ... |
Year | DOI | Venue |
---|---|---|
2005 | 10.1109/MTV.2005.16 | MTV |
Keywords | Field | DocType |
clock frequency,blackbox designs,dominating factor,additional core,sat-based bounded invariant checking,single-thread performance,integrated circuit design,circuit design,sat solver,property checking | Formal equivalence checking,Abstraction model checking,Model checking,Computer science,Circuit design,Algorithm,Theoretical computer science,Design rule checking,Physical design,Symbolic trajectory evaluation,Bounded function | Conference |
ISBN | Citations | PageRank |
0-7695-2627-6 | 8 | 0.58 |
References | Authors | |
8 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marc Herbstritt | 1 | 136 | 11.01 |
Bernd Becker | 2 | 855 | 73.74 |