Yuichi Sugiyama
Yuichi Sugiyama
I am trying to convert a property statement using the [seqprop](https://github.com/zachjs/sv2v/tree/seqprop) branch . I would like to read the converted code with yosys, but I get an error. Can you...
Hi, Thank you for developing a very useful tool. I'm getting an error when generating the `Tile.fir` graph generated by riscv-mini (https://github.com/ucb-bar/riscv-mini). The error output is as follows. ``` [error]...
Hi, The NaxRiscv project is really great! I am learning a lot about testing hardware designs from this project. An error like `*** MISSMATCH PC DUT=8000000c REF=0 ***` occurred when...