FastPath: A Hybrid Approach for Efficient Hardware Security Verification.

Lucas Deutschmann, Andres Meza, Dominik Stoffel, Wolfgang Kunz, Ryan Kastner

Browse the full DAC paper archive.