Hello @jeffdi, I've been studying your demo design on https://efabless.com/demo-design to understand how to use cocotb for verification. However, I'm encountering the same problem as @Asokan during the RTL verification phase. I'm unable to locate the files 'clock_part1.v' and 'segments_monitor.py' in the repository at https://github.com/efabless/timer-tutorial. Could you please provide access to these files? Or the repo of the project you use in the demo? (CC: @Tim Edwards)

@Marwan Abbas Are you involved with the cocotb setup?

Thank you @Mitch Bailey, I have located the repository for the project. Here's the link for anyone who might need it: https://github.com/M0stafaRady/7-segment