Hassert: Hardware Assertion-Based Verification Framework with FPGA Acceleration.

Ziqing Zhang, Weijie Weng, Yaning Li, Lijia Cai, Haoyu Wang, David Boland, Yungang Bao, Kan Shi

Browse the full ASPLOS paper archive.