How to create testcases to obtain 100% table coverage for lookup tables using simulink design verifier?

I want to use SLDV to create test cases for subsystems contains lookup tables(such as direct n-D lookup table, lookup table dynamic...) to obtain full coverage.

However, I found it is difficult for SLDV to get full coverage on these blocks. I tried to use block replacement, but there is no built-in replacement for look-up table dynamic, how can I solve these? Do I need to write my own block replacement script? I hope someone can give me suggestions, thanks!!

[Pat Canny]

This is an excellent question!

I have passed this question along to our software development team to suggest the best approach, but this is certainly something we have heard from customers.

Answer 1

[Prateek Khandelwal]

Hi Rui,

SLDV doesn't support Look Up Table coverage.

We have shipped an example in R2020a that illustrates usage the of Block Replacement feature for generating testcases corresponding to the four corner values of a 2-D Look Up table. You can access the example here.

This example ships with a custom replacement block InstrumentLUTForCornerValueCoverage and you can modify it to address your usecase.

Hope this helps !

[Rui MU]

Thanks, it's helps a lot!