Check primitive rule for tables that have edge specifiers

MikePopoloski / slang

SystemVerilog compiler and language services

MIT License

546 stars 114 forks source link

Open MikePopoloski opened 1 month ago

MikePopoloski commented 1 month ago

Investigate this rule, see if we need to implement something:

If the behavior of the UDP is sensitive to edges of any input, the desired output state shall be specified for all
edges of all inputs.