Case Study :Functional Verification of a Reconfigurable Systolic Array using Truss

摘要：

This paper introduces our experience in verifying the operation of each systolic array before and after reconfiguration using Truss. Truss is an implementation of an open-source verification infrastructure based on layer approach.Reconfigurable systolic array for solving either single-source shortest path problem or O-1 knapsack problem is chosen as a reconfigurable device-under-test. One systoliC array can be reconfigured into the other and vice versa according to the problem. The functional verification is performed on a reconfigurable device-under-test using Truss configured to this specific hardware.

关键词： reconfiguration functional verification Teal Truss systolic array

作者: Myoung-Keun You Young-Jin Oh Gi-Yong Song

作者单位: Computer Engineering Division,College of Electrical & Computer Engineering,Chungbuk National Univers Electronics Engineering Division,College of Electrical & Computer Engineering,Chungbuk National Univ

会议类型: 国际会议

会议名称: 2009 IEEE 8th International Conference on ASIC(第八届IEEE国际专用集成电路大会)

会议地点: 长沙

会议语种:英文

页码: 694-697

在线出版日期: 2009-10-20（万方平台首次上网日期，不代表论文的发表时间）