Abstract | ||
---|---|---|
Dynamic hardware reconfiguration based on run-time system specialization is viable with FPGAs. The research challenge for formal verification is to help ensure the correctness of dynamically generated hardware. In this paper, the approach is to verify a specialization synthesis algorithm used to reconfigure FPGA designs at run-time. The verification approach is based on a deep embedding of a language for netlist and the relational hardware modeling style. |
Year | DOI | Venue |
---|---|---|
2001 | 10.1023/A:1011132326153 | The Journal of Supercomputing |
Keywords | DocType | Volume |
formal verification,theorem proving,partial evaluation,FPGAs,dynamic hardware reconfiguration | Journal | 19 |
Issue | ISSN | Citations |
1 | 1573-0484 | 7 |
PageRank | References | Authors |
0.61 | 10 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Kong Woei Susanto | 1 | 81 | 5.22 |
Thomas F. Melham | 2 | 384 | 35.63 |