Year | DOI | Venue |
---|---|---|
2000 | 10.1007/3-540-44614-1_84 | FPL |
Keywords | Field | DocType |
reconfigurable microprocessor,formal verification,processor architecture | Computer architecture,Programming paradigm,Computer science,Instruction set,Parallel computing,Microprocessor,Field-programmable gate array,Register-transfer level,Control reconfiguration,Microarchitecture,Formal verification | Conference |
ISBN | Citations | PageRank |
3-540-67899-9 | 0 | 0.34 |
References | Authors | |
5 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Sergej Sawitzki | 1 | 15 | 4.79 |
Jens Schönherr | 2 | 8 | 5.40 |
Rainer G. Spallek | 3 | 137 | 25.30 |
Bernd Straube | 4 | 195 | 37.41 |