Flavien Solt comments

Results 30 comments of


                                            Flavien Solt

Morty stack overflow

Hi Michael, thank you for your quick response! Having no familiarity with the implementation of Morty and sv-parser, it's unlikely that I can find the root cause if you cannot...

Morty stack overflow

Thank you for your response! I made several experiments: 1. Morty on each file individually: this way, I do not get any stack overflow. This hampers the direct use of...

Morty stack overflow

Hi again! Sorry that it was not clear, you could get rid of the parse errors by rebasing to the `fix_begin_genvar` branch. I did it for you, you just need...

Morty stack overflow

Thank you for your answers! Indeed with the collect_defines files it seems to work :partying_face: ! However it's super slow, so not the best candidate for a master. How about...

Morty stack overflow

That would be great! Thanks!

Morty stack overflow

Nice, the -q flag seems to do the job! Why is --propagate_defines incompatible with --top, is it a conceptual mismatch or an implementation difficulty?

updated for python 3.12

Up. Indeed this would allow riscv-dv to work for python >= 3.12.

Fix triple hazard

Thanks! Removed the re-declaration.

[SMT] How to go from Verilog to smtlib2 like with Yosys?

Hi there, Thank you for all the answers! Here are the file contents: - my_or.mlir ``` module { hw.module @my_or(in %a_i : i1, in %b_i : i1, out y_o :...