Using Formal Coverage Analyzer for Code Coverage Improvement
Using Formal Coverage Analyzer for Code Coverage Improvement is a scholarly work, published in 2018 in ''Problems of advanced micro- and nanoelectronic systems development''. The main subjects of the publication include programming language, code, model-driven engineering, formal verification, reconfigurable computing, software engineering, code coverage, test automation, formal methods, spectrum analyzer, and computer science. This presentation summarizes the results of using the tool grounded on formal proof technics (in this case the tool is Synopsys Formal Coverage Analyzer (FCA)) to improve code coverage for two design Blocks.The goal is to find unreachable coverage constructs (UNRs) in the target design Blocks and remove them from the list of uncovered constructs.The removal of UNRs saves the Designers and Verification Engineers the time needed to achieve high level of code coverage.FCA became part of the design and verification methodology within the authors' organization following its successful evaluation.