Design-Intent Coverage - A New Paradigm for Formal Property Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Prasenjit Basu, Sayantan Das, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni. Design-Intent Coverage - A New Paradigm for Formal Property Verification. IEEE Trans. on CAD of Integrated Circuits and Systems, 25(10):1922-1934, 2006. [doi]

This author has not been identified. Look up 'Prasenjit Basu' in GoogleThis author has not been identified. Look up 'Sayantan Das' in GoogleThis author has not been identified. Look up 'Ansuman Banerjee' in GoogleThis author has not been identified. Look up 'Pallab Dasgupta' in GoogleThis author has not been identified. Look up 'P. P. Chakrabarti' in GoogleThis author has not been identified. Look up 'Chunduri Rama Mohan' in GoogleThis author has not been identified. Look up 'Limor Fix' in GoogleThis author has not been identified. Look up 'Roy Armoni' in Google

runs on WebDSL