Greg Taylor

Support for SystemVerilog Assertions (SVA)

4

Cocotb seems to have very limited support for SVA at this point. If I create an assertion: ``` ERROR_condition: assert property (@(posedge clk) condition ); ``` The simulator would normally...

Rhythm changes, is comment accurate?

5

Hey Steffen, it's been a while! How are you? I have been revisiting https://github.com/gtaylormb/opl3_fpga lately and wanted to update the rhythm operators to what you currently have, as it looks...

SystemVerilog package import support

2

The ability to import packages is an important SystemVerilog feature. I use packages in all my designs. The import syntax seems to be understood but it is reported that it...

How to build

3

Hey I wanted to build ppplay to compare against my FPGA implementation (specifically the rythym operators). Having some trouble building under Ubuntu (I ran `cmake` then `make` and I'm getting...