A simulation tool for dynamically reconfigurable field programmable gate arrays
IEEE Transactions on Very Large Scale Integration (VLSI) Systems - Special issue on the 1995 IEEE ASIC conference
Exploiting reconfigurability through domain-specific systems
FPL '97 Proceedings of the 7th International Workshop on Field-Programmable Logic and Applications
New CAD Framework Extends Simulation of Dynamically Reconfigurable Logic
FPL '98 Proceedings of the 8th International Workshop on Field-Programmable Logic and Applications, From FPGAs to Computing Paradigm
FPL '99 Proceedings of the 9th International Workshop on Field-Programmable Logic and Applications
Improved Functional Simulation of Dynamically Reconfigurable Logic
FPL '02 Proceedings of the Reconfigurable Computing Is Going Mainstream, 12th International Conference on Field-Programmable Logic and Applications
Hi-index | 0.00 |
Conventional FPGA design assumes a one-to-one mapping between circuits and device resources. In contrast, dynamically reconfigurable designs map many circuits to shared device resources. Each many-to-one mapping can be decomposed into sequences of temporal, one-to-one mappings. The verification of dynamically reconfigurable logic is complicated by the need to verify that each constituent mapping is correct and that its sequencing with respect to time and other circuits is also correct. In this paper, we introduce new design tools for verifying dynamically reconfigurable logic. The tools extend the capabilities of the Dynamic Circuit Switching (DCS) CAD framework for dynamically reconfigurable logic. The verification capabilities include new design rule checks, design violation monitoring, and the extension of coverage analysis and performance profiling techniques to dynamically reconfigurable designs.