Observability-Enhanced Statement Coverage Evaluation Method at RT-Level

For the observability assessment algorithms proposed up to now,the overhead of computing the metrics is very large,so they could not be integrated into simulation tools easily.A precise and concise abstract representations is proposed to model observability information.Based on this,a novel observability evaluation method is presented.This method is more computationally efficient than prior efforts to assess observability,and can be combined with controllability metrics easily.Experimental results show that observability evaluation enhances the capability of traditional statement coverage metric and the proposed method is efficient.