scr1 test suite: delayed always blocks are unsupported #1291
Labels
resolution: wontfix
Closed; work won't continue on an issue or pull request
type: feature-IEEE
Request to add new feature, described in IEEE 1800
Author Name: Joel Holdsworth
Original Redmine Issue: 1291 from https://www.veripool.org
This code generates a warning:
Would it be possible to support delayed always blocks that lack sensitivity lists?
The text was updated successfully, but these errors were encountered: