Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Saranyu Chattopadhyay, Florian Lonsing, Luca Piccolboni, Deepraj Soni, Peng Wei 0004, Xiaofan Zhang, Yuan Zhou, Luca P. Carloni, Deming Chen, Jason Cong, Ramesh Karri, Zhiru Zhang, Caroline Trippel, Clark W. Barrett, Subhasish Mitra. Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition. In Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021. pages 42-52, IEEE, 2021. [doi]

This author has not been identified. Look up 'Saranyu Chattopadhyay' in GoogleThis author has not been identified. Look up 'Florian Lonsing' in GoogleThis author has not been identified. Look up 'Luca Piccolboni' in GoogleThis author has not been identified. Look up 'Deepraj Soni' in GoogleThis author has not been identified. Look up 'Peng Wei 0004' in GoogleThis author has not been identified. Look up 'Xiaofan Zhang' in GoogleThis author has not been identified. Look up 'Yuan Zhou' in GoogleThis author has not been identified. Look up 'Luca P. Carloni' in GoogleThis author has not been identified. Look up 'Deming Chen' in GoogleThis author has not been identified. Look up 'Jason Cong' in GoogleThis author has not been identified. Look up 'Ramesh Karri' in GoogleThis author has not been identified. Look up 'Zhiru Zhang' in GoogleThis author has not been identified. Look up 'Caroline Trippel' in GoogleThis author has not been identified. Look up 'Clark W. Barrett' in GoogleThis author has not been identified. Look up 'Subhasish Mitra' in Google

runs on WebDSL