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 0-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.