Automated formal approach for debugging dividers using dynamic specification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mohammad Hashem Haghbayan, Bijan Alizadeh, Amir-Mohammad Rahmani, Pasi Liljeberg, Hannu Tenhunen. Automated formal approach for debugging dividers using dynamic specification. In 2014 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, DFT 2014, Amsterdam, The Netherlands, October 1-3, 2014. pages 264-269, IEEE, 2014. [doi]

This author has not been identified. Look up 'Mohammad Hashem Haghbayan' in GoogleThis author has not been identified. Look up 'Bijan Alizadeh' in GoogleThis author has not been identified. It may be one of the following persons:

Amir-Mohammad Rahmani

Look up 'Amir-Mohammad Rahmani' in GoogleThis author has not been identified. Look up 'Pasi Liljeberg' in GoogleThis author has not been identified. Look up 'Hannu Tenhunen' in Google

runs on WebDSL