Check for blocking delays in tasks called from always_comb/_latch/_ff

MikePopoloski / slang

SystemVerilog compiler and language services

MIT License

546 stars 114 forks source link

Check for blocking delays in tasks called from always_comb/_latch/_ff #954

Open MikePopoloski opened 1 month ago

MikePopoloski commented 1 month ago

This is not spelled out in the LRM, but all major tools disallow tasks that are called from an always_comb/_latch/_ff from having blocking timing controls. Probably slang should do the same.