Items where Author is "Fix, L."

Article

Basu, P. ; Das, S. ; Banerjee, A. ; Dasgupta, P. ; Chakrabarti, P. P. ; Mohan, C. R. ; Fix, L. ; Armoni, R. (2006) Design-intent coverage-a new paradigm for formal property verification IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 25 (10). pp. 1922-1934. ISSN 0278-0070

Das, A. ; Basu, P. ; Banerjee, A. ; Dasgupta, P. ; Chakrabarti, P. P. ; Rama Mohan, C. ; Fix, L. ; Armoni, R. (2004) Formal verification coverage: computing the coverage gap between temporal specifications Digest of Technical Papers - IEEE/ACM International Conference on Computer-Aided Design . pp. 198-203. ISSN 1092-3152

Conference or Workshop Item

Das, Sayanlan ; Banerjee, Ansuman ; Basu, Prasenjit ; Dasgupta, Pallab ; Chakrabarti, P. P. ; Mohan, Chunduri Rama ; Fix, L. (2005) Formal methods for analyzing the completeness of an assertion suite against a high-level fault model In: 18th International Conference on VLSI Design held jointly with 4th International Conference on Embedded Systems Design, 3-7 January 2005.

Basu, P. ; Das, S. ; Dasgupta, P. ; Chakrabarti, P. P. ; Mohan, C. R. ; Fix, L. (2004) Formal verification coverage: are the RTL-properties covering the design's architectural intent? In: Design, Automation and Test in Europe Conference and Exhibition, 2004, 16-20 February 2004, Paris, France.