Security and Fault Diagnosis-Based Assertion-Based Verification for FPGA.

Shasha Zhang, Liang Cao

Browse the full QRS paper archive.