The Community for Technology Leaders
2012 IEEE 21st Asian Test Symposium (2012)
Niigata, Japan Japan
Nov. 19, 2012 to Nov. 22, 2012
ISSN: 1081-7735
ISBN: 978-1-4673-4555-2
pp: 137-142
ABSTRACT
Coverage of formal property specifications has important ramifications in design verification. Mutation coverage, a well studied approach towards specification coverage, checks whether the specification fails in the presence of a fault. Existing mutation coverage methods are broadly divided into those which inject the fault into a given implementation and those which inject the fault directly into the specification. This paper presents a theory which unifies these contrasting approaches and extends the mutation coverage approach to partial implementations where some components are given, and for the others, we only have component specifications.
INDEX TERMS
Topology, Cost accounting, Standards, Protocols, Performance evaluation, Microelectronics, Computer bugs, Realizability, Test Generation
CITATION

S. Das, A. Banerjee and P. Dasgupta, "A Generalized Theory for Formal Assertion Coverage," 2012 IEEE 21st Asian Test Symposium(ATS), Niigata, Japan Japan, 2012, pp. 137-142.
doi:10.1109/ATS.2012.20
86 ms
(Ver 3.3 (11022016))