I refereed UART Example Test plan (https://verificationacademy.com/cookbook/coverage/uart_example_test_plan). Per the test plan, a section 'Reset Value' Coverage Type is 'Test Result'.
I gone through UART Example Source Code (https://verificationacademy.com/cookbook/download?file=/w/images/d/d3/Uart_example.tgz) but not found how the section 'Reset Value' is considered for functional coverage and not found any covergroups for it.
Is it left intentionally for us to implement? Am I missing anything?