Pre-silicon security verification and validation: a formal perspective - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xiaolong Guo, Raj Gautam Dutta, Yier Jin, Farimah Farahmandi, Prabhat Mishra. Pre-silicon security verification and validation: a formal perspective. In Proceedings of the 52nd Annual Design Automation Conference, San Francisco, CA, USA, June 7-11, 2015. pages 145, ACM, 2015. [doi]

This author has not been identified. Look up 'Xiaolong Guo' in GoogleThis author has not been identified. Look up 'Raj Gautam Dutta' in GoogleThis author has not been identified. Look up 'Yier Jin' in GoogleThis author has not been identified. Look up 'Farimah Farahmandi' in GoogleThis author has not been identified. Look up 'Prabhat Mishra' in Google

runs on WebDSL