Performance validation through implicit removal of infeasible paths of the behavioral description - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dheepakkumaran Jayaraman, Spyros Tragoudas. Performance validation through implicit removal of infeasible paths of the behavioral description. In International Symposium on Quality Electronic Design, ISQED 2013, Santa Clara, CA, USA, March 4-6, 2013. pages 552-557, IEEE, 2013. [doi]

This author has not been identified. Look up 'Dheepakkumaran Jayaraman' in GoogleThis author has not been identified. Look up 'Spyros Tragoudas' in Google

runs on WebDSL