You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I faced an issue regarding usage of packed array for wreal net. Actually, I was trying to instantiate a module which contains a wreal input declared as a packed array (supported by commercial simulator) to an upper net declared the same way. But the tool returned two errors :
mismatch between port which is an array and expression which is not an array
expected non-complex non-double pin connection in width check
Is that error expected ? You'll find in attachment the file you've created for wreal bugs.
Best regards,
J-P
The text was updated successfully, but these errors were encountered:
Author Name: j briquet
Original Redmine Issue: 1154 from https://www.veripool.org
Original Assignee: Wilson Snyder (@wsnyder)
Hi Wilson,
I faced an issue regarding usage of packed array for wreal net. Actually, I was trying to instantiate a module which contains a wreal input declared as a packed array (supported by commercial simulator) to an upper net declared the same way. But the tool returned two errors :
Is that error expected ? You'll find in attachment the file you've created for wreal bugs.
Best regards,
J-P
The text was updated successfully, but these errors were encountered: