Risto Pejašinović

Hello Mikhail, Thank you for replying, yes that construct would be very useful, it would eliminate the need for additional signals. I use the assertions mostly in module scope (I...

Hello, thank you for implementing this. I quickly tested the SCT_ROSE property as that one was a drop-in replacement. It worked, I will test it more on different testbenches and...

I didn't have time to test it in more depth. I just returned from holidays and will hopefully get back to that project in next days/weeks.

Hello Mikhail, Sorry, I was busy with other things. I think there is a problem. Looking at the file: https://github.com/intel/systemc-compiler/blob/main/examples/asserts/temp_assert.cpp Property in question: SCT_ASSERT_ROSE(cntr.read() == 10, (1), st1.read(), clk.pos()); This...

Actually the problem was on my side. For me a lot of the assertions were failing from that test. It turned out to be some problem with the C++ standard...

That Dockerfile is just wrong it seems: I managed to get it to work with the following Dockerfile ``` FROM ubuntu:20.04 ENV PATH=/usr/src/app:$PATH RUN mkdir -p /usr/src/app RUN apt update...

I like the solution of separating the CLI component. This way you can fix the PeakRDL-cli version to the plugins that are compatible.

Well the first step is to file an issue at the verilator github. I will be filing issues when I have time for the things I find missing. Usually at...

@drewranck Did you think of using `verilator` configuration files, This is my approach to waive the particular linting message, until I get around to work on fixing it in verilator:...