PPT Slide
Focussed Expression Coverage
The FEC methodology can be used to define the test vectors you should use to fully validate your expression.
Simply apply one test vector, via the test-bench, to the module under test then use the diagnostic report to identify the vectors that are actually needed.
Finally update the test-bench with the necessary test vectors and re-run the analysis.
Below is an example of a fully validated expression.