On using a 2-domain partitioned OBDD data structure in verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tao Feng, Li-C. Wang, Kwang-Ting Cheng, Andy Lin. On using a 2-domain partitioned OBDD data structure in verification. In Ninth IEEE International High-Level Design Validation and Test Workshop 2004, Sonoma Valley, CA, USA, November 10-12, 2004. pages 49-54, IEEE Computer Society, 2004. [doi]

This author has not been identified. Look up 'Tao Feng' in GoogleThis author has not been identified. Look up 'Li-C. Wang' in GoogleThis author has not been identified. Look up 'Kwang-Ting Cheng' in GoogleThis author has not been identified. Look up 'Andy Lin' in Google

runs on WebDSL