how to attach simulator in specview?

[tarkyss]

specview

the gui of specman E
verilog xl or modelsim

Added after 2 hours 12 minutes:

error in log file as follow
task or function($sn) not defined

 

[manaman]

attach simulator to specman

did you correctly generated the stub file and compiled them

 

[tarkyss]

specman attaching simulator

yes, i generate a specman.v file

 

[nand_gates]

specman xor example

You will find xor example in specman installation dir and here is how to invoke gui

step1. -> specman -command "load xor_verify; write stubs -verilog;"
step2. -> specview xl_specman " -s xor.v specman.v"

here xl_specman is verilog simulator bianary specially compiled to support specman
pli's! viz $sn task!!

 

[tarkyss]

stubs writing in specman

but when i run step 2
error is generated in specview
it is about ld.so.1, the error information cannot be displayed correctly in my machine

 

[tarkyss]

my env val are set wrongly?
please help me
thanks

 

[eeeraghu]

Hi all
I Do have another q's with reagrd to 'e' language, What's the difference between a test case in e and the sequences, are both required for one purpose or served for different purposes?

Thanks & Regards.
Raghu.

 

[pragya.laad]

yes, both (test case and sequences in e ) are used to test the functionality of the DUT or to test all the scenarios with the DUT.