WaveCert: Translation Validation for Asynchronous Dataflow Programs via Dynamic Fractional Permissions

Zhengyao Lin, Joshua Gancher, Bryan Parno

Coarse-grained reconfigurable arrays (CGRAs) have gained attention in recent years due to their promising power efficiency compared to traditional von Neumann architectures. To pro…