Abstract
As discussed in Sect. 2.3, the fundamental challenge for functionally verifying DRS designs is to resolve the conflicting requirements for modeling accuracy and verification productivity. For simulation-based verification, the designer needs to strike the right balance between the level of simulation accuracy and the level of detail of the fabric being simulated. Furthermore, this balance is constrained by the desire for the simulated design to be implementation ready. In this chapter, we derive a general approach to modeling DPR and show that the proposed approach meets the above-mentioned requirements.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
To focus on partial reconfiguration, this example excludes irrelevant sections.
- 2.
To focus on state saving, this example excludes irrelevant sections.
References
T. Becker, W. Luk, P.Y. Cheung, Enhancing relocatability of partial bitstreams for run-time reconfiguration, in IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM), Napa, 2007, pp. 35–44
C. Beckhoff, D. Koch, J. Torresen, Short-circuits on FPGAs caused by partial runtime reconfiguration, in International Conference on Field-Programmable Logic and Applications (FPL), Milano, 2010, pp. 596–601
C.H. Hoo, A. Kumar, An area-efficient partially reconfigurable crossbar switch with low reconfiguration delay, in International Conference on Field-Programmable Logic and Applications (FPL), Oslo, 2012, pp. 400–406
H. Kalte, M. Porrmann, Context saving and restoring for multitasking in reconfigurable systems, in International Conference on Field-Programmable Logic and Applications (FPL), Tampere, 2005, pp. 223–228
F. Khan, N. Hosein, S. Vernon, S. Ghiasi, BURAQ: a dynamically reconfigurable system for stateful measurement of network traffic, in IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM), Charlotte, 2010, pp. 185–192
W. Luk, N. Shirazi, P.Y. Cheung, Compilation tools for run-time reconfigurable designs, in IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM), Napa, 1997, pp. 56–65
S.P. McMillan, B.J. Blodget, S.A. Guccione, VirtexDS: a virtex device simulator. Proc. SPIE 4212, 50–56 (2000)
A. Raabe, P.A. Hartmann, J.K. Anlauf, ReChannel: describing and simulating reconfigurable hardware in SystemC. ACM Trans. Des. Autom. Electron. Syst. 13(1), 15:1–15:18 (2008)
I. Robertson, J. Irvine, A design flow for partially reconfigurable hardware. ACM Trans. Embed. Comput. Syst. (TECS) 3(2), 257–283 (2004)
H. Simmler, L. Levinson, R. Manner, Multitasking on FPGA coprocessors, in International Conference on Field-Programmable Logic and Applications (FPL), Villach, 2000, pp. 121–130
Xilinx Inc., Virtex-4 FPGA Configuration User Guide (UG071) (Xilinx Inc., San Jose, 2009). http://www.xilinx.com/support.html
Xilinx Inc., Virtex-5 FPGA Configuration User Guide (UG191) (Xilinx Inc., San Jose, 2010). http://www.xilinx.com/support.html
Xilinx Inc., Virtex-6 FPGA Configuration User Guide (UG360) (Xilinx Inc., San Jose, 2010). http://www.xilinx.com/support.html
Xilinx Inc., 7 Series FPGAs Configuration User Guide (UG470) (Xilinx Inc., San Jose, 2013). http://www.xilinx.com/support.html
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Gong, L., Diessel, O. (2015). Modeling Reconfiguration. In: Functional Verification of Dynamically Reconfigurable FPGA-based Systems. Springer, Cham. https://doi.org/10.1007/978-3-319-06838-1_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-06838-1_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-06837-4
Online ISBN: 978-3-319-06838-1
eBook Packages: EngineeringEngineering (R0)