LFPS: Learned Formal Proof Strengthening for Efficient Hardware Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Minwoo Kang, Azade Nova, Eshan Singh, Geetheeka Sharron Bathini, Yuriy Viktorov. LFPS: Learned Formal Proof Strengthening for Efficient Hardware Verification. In IEEE/ACM International Conference on Computer Aided Design, ICCAD 2023, San Francisco, CA, USA, October 28 - Nov. 2, 2023. pages 1-9, IEEE, 2023. [doi]

This author has not been identified. Look up 'Minwoo Kang' in GoogleThis author has not been identified. Look up 'Azade Nova' in GoogleThis author has not been identified. Look up 'Eshan Singh' in GoogleThis author has not been identified. Look up 'Geetheeka Sharron Bathini' in GoogleThis author has not been identified. Look up 'Yuriy Viktorov' in Google

runs on WebDSL