Support additional file I/O functions $fseek, $ftell, $frewind #1496
Labels
resolution: fixed
Closed; fixed
type: feature-IEEE
Request to add new feature, described in IEEE 1800
Author Name: Howard Su (@howard0su)
Original Redmine Issue: 1496 from https://www.veripool.org
Original Assignee: Howard Su (@howard0su)
Attached the patch to add three functions.
The scenario is that my test bench is able to parsing elf file and load the content during memory initialization.
The text was updated successfully, but these errors were encountered: