AQUILA: An Equivalence Checking System for Large Sequential Designs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shi-Yu Huang, Kwang-Ting Cheng, Kuang-Chien Chen, Chung-Yang Huang, Forrest Brewer. AQUILA: An Equivalence Checking System for Large Sequential Designs. IEEE Transactions on Computers, 49(5):443-464, 2000. [doi]

This author has not been identified. Look up 'Shi-Yu Huang' in GoogleThis author has not been identified. Look up 'Kwang-Ting Cheng' in GoogleThis author has not been identified. Look up 'Kuang-Chien Chen' in GoogleThis author has not been identified. Look up 'Chung-Yang Huang' in GoogleThis author has not been identified. Look up 'Forrest Brewer' in Google

runs on WebDSL