Jump to content

Recommended Posts

regarding clause  7.1.1.c

"state values are not supported. If 4-state values are passed into the PSS model via the procedural interface (PI) (see 17.2), any X or Z values are converted to 0."


To my understanding PSS is meant for hardware verification. how can that be done without even the most basic x-propagation test options open?

Share this post

Link to post
Share on other sites

You're correct that PSS is intended for hardware verification -- specifically targeted at the transaction and higher level of abstraction. 4-state modeling typically applies at the signal level, and doesn't propagate up to transaction level and above.

I double-checked, and the SystemVerilog LRM specifically restricts randomization to 2-state values:

"Constraints support only 2-state values. The 4-state values (X or Z) or 4-state operators (e.g., ===, !== ) are illegal and shall result in an error."

Hope this helps!

Share this post

Link to post
Share on other sites

Join the conversation

You can post now and register later. If you have an account, sign in now to post with your account.
Note: Your post will require moderator approval before it will be visible.

Reply to this topic...

×   Pasted as rich text.   Paste as plain text instead

  Only 75 emoji are allowed.

×   Your link has been automatically embedded.   Display as a link instead

×   Your previous content has been restored.   Clear editor

×   You cannot paste images directly. Upload or insert images from URL.

  • Create New...