Pre-silicon security verification and validation: a formal perspective.

Xiaolong Guo, Raj Gautam Dutta, Yier Jin, Farimah Farahmandi, Prabhat Mishra

Browse the full DAC paper archive.