Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sayantan Das, Ansuman Banerjee, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix. Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model. In 18th International Conference on VLSI Design (VLSI Design 2005), with the 4th International Conference on Embedded Systems Design, 3-7 January 2005, Kolkata, India. pages 201-206, IEEE Computer Society, 2005. [doi]

This 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 'Prasenjit Basu' 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 Google

runs on WebDSL