Divya2030

@alaindargelas Thank you for pointing out the logic_net creation in the absence of a property definition. I understand that creating a linter rule in the UHDM Linter can help in...

Assertion Failures in Version 1.74 (Sep 13, 2023) During Property Verification with ##delay, assertions operators, sequences. [Surelog_Assertions_examples.zip](https://github.com/chipsalliance/Surelog/files/12608971/Surelog_Assertions_examples.zip)

@alaindargelas Version: 1.75 Build Date: Oct 3, 2023 Examples that were expected to fail in Surelog during property verification with ##delay did not produce any failures. Additionally, an error with...

for functional coverage we can use cocotb-coverage https://github.com/mciepluc/cocotb-coverage but for code-coverage?

> See https://cocotb.readthedocs.io/en/latest/building.html#envvar-COVERAGE > If you want but don't get HDL code coverage with your simulator with this, you need to specify the simulator-specific extra arguments via https://cocotb.readthedocs.io/en/latest/building.html#var-EXTRA_ARGS thanks

but how to see the percentage of code coverage

@ktbarrett we can find coverage using following python libraries: 1. cocotb-coverage and https://github.com/JoseIuri/cocoTBCoverageView 2. pyvsc coverage libraries and pyucis-viewer