Specman Tool: Handling codes with module instantiations

[Resistance]

in specman instantiation is done by .

Hi,
Am an amateur in Specman tool.. I have a 4bit adder designed using four full adders instantiated within that..

Now I have problem verifying that kind of a block with instantiations within..

Please clarify this and also any sample codes for specman or links relating that are most welcome
Good day
regards

 

[Resistance]

I need for verifying my design.. any useful and related links are most welcome???

 

[tarkyss]

https://www.asic-world.com/specman/index.html

 

[tenya]

Check for Design Verification with 'e' by Samir Palnitkar.
Alternatively you can use the documents or LRM in $SPECMAN_HOME/docs