Scaling probabilistic timing verification of hardware using abstractions in design source code - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jayanand Asok Kumar, Lingyi Liu, Shobha Vasudevan. Scaling probabilistic timing verification of hardware using abstractions in design source code. In Per Bjesse, Anna Slobodová, editors, International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011. pages 196-205, FMCAD Inc., 2011. [doi]

This author has not been identified. Look up 'Jayanand Asok Kumar' in GoogleThis author has not been identified. Look up 'Lingyi Liu' in GoogleThis author has not been identified. Look up 'Shobha Vasudevan' in Google

runs on WebDSL