Jump to content

Recommended Posts

Posted

I want to verify register file content through assertion in bind module , 

In bind statement I use :

target_module  bind_target_instance bind_instansiation (.*);

to include all target module scope contents but when I searched for what should be the translation of that be in the bind module, I find an example for a FIFO module in the example the bind module translate  all input ,output and internal vectors and signals to input to the bind module but he no information about the memory array was included , how can we access the memory or register file contents if we want to check specific behavior on it.

Second as I know the parameters in the design we can't bind the information in it , if we have localparam in the design ,do we need to write these localparams again in the bind module 

Posted

Could you please explain what you mean saying 'verify register file content through assertion'.

What is 'register file content'? Assertions are used to verify dynamic behavior. What you are sayying sounds static.

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.

Guest
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...