Support properties and assertions #378
Labels
area: assertions
Issue involves assertions
effort: weeks
Expect this issue to require weeks or more of invested effort to resolve
resolution: duplicate
Closed; issue or pull request already exists
type: feature-IEEE
Request to add new feature, described in IEEE 1800
Author Name: Wilson Snyder (@wsnyder)
Original Redmine Issue: 378 from https://www.veripool.org
Original Date: 2011-08-10
Tracking issue for SystemVerilog support.
The text was updated successfully, but these errors were encountered: