An efficient path-oriented bitvector encoding width computation algorithm for bit-precise verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nannan He, Michael S. Hsiao. An efficient path-oriented bitvector encoding width computation algorithm for bit-precise verification. In Design, Automation and Test in Europe, DATE 2009, Nice, France, April 20-24, 2009. pages 1602-1607, IEEE, 2009. [doi]

This author has not been identified. Look up 'Nannan He' in GoogleThis author has not been identified. Look up 'Michael S. Hsiao' in Google

runs on WebDSL