TY - GEN
T1 - RTL simulation of high performance dynamic reconfiguration
T2 - 2013 IEEE 37th Annual Computer Software and Applications Conference, COMPSAC 2013
AU - Gong, Lingkan
AU - Diessel, Oliver
AU - Paul, Johny
AU - Stechele, Walter
PY - 2013
Y1 - 2013
N2 - Dynamically Reconfigurable Systems (DRS) allow hardware logic to be partially reconfigured while the rest of the design continues to operate. For example, the Auto Vision driver assistance system swaps video processing engines when the driving conditions change. However, the architectural flexibility of DRS also introduces challenges for verifying system functionality. Using Auto Vision as a case study, this paper studies the use of a recent RTL simulation library, ReSim, to perform functional verification of DRS designs. Compared with the conventional Virtual Multiplexing approach, ReSim more accurately simulates the Auto Vision system before, during and after reconfigurations. With trivial development and simulation overhead, ReSim assisted in detecting significantly more bugs than found using Virtual Multiplexing. To the best of our knowledge, this paper is the first significant effort towards functionally verifying a cutting-edge, complex, real-world DRS application.
AB - Dynamically Reconfigurable Systems (DRS) allow hardware logic to be partially reconfigured while the rest of the design continues to operate. For example, the Auto Vision driver assistance system swaps video processing engines when the driving conditions change. However, the architectural flexibility of DRS also introduces challenges for verifying system functionality. Using Auto Vision as a case study, this paper studies the use of a recent RTL simulation library, ReSim, to perform functional verification of DRS designs. Compared with the conventional Virtual Multiplexing approach, ReSim more accurately simulates the Auto Vision system before, during and after reconfigurations. With trivial development and simulation overhead, ReSim assisted in detecting significantly more bugs than found using Virtual Multiplexing. To the best of our knowledge, this paper is the first significant effort towards functionally verifying a cutting-edge, complex, real-world DRS application.
KW - Dynamic Partial Reconfiguration
KW - FPGA
KW - Functional Verification
KW - Simulation
KW - Video Processing
UR - http://www.scopus.com/inward/record.url?scp=84899748830&partnerID=8YFLogxK
U2 - 10.1109/IPDPSW.2013.79
DO - 10.1109/IPDPSW.2013.79
M3 - Conference contribution
AN - SCOPUS:84899748830
SN - 9780769549798
T3 - Proceedings - IEEE 27th International Parallel and Distributed Processing Symposium Workshops and PhD Forum, IPDPSW 2013
SP - 106
EP - 113
BT - Proceedings - IEEE 27th International Parallel and Distributed Processing Symposium Workshops and PhD Forum, IPDPSW 2013
PB - IEEE Computer Society
Y2 - 22 July 2013 through 26 July 2013
ER -