Subversion Repositories oms8051mini

ncxlmode: 11.10-s021: (c) Copyright 1995-2012 Cadence Design Systems, Inc.
TOOL:   ncxlmode        11.10-s021: Started on Aug 01, 2014 at 13:00:02 IST
ncxlmode
        +access+rcw
        test.sv
        -l
        sim.log
Loading snapshot worklib.concurrent_assertion_tb:sv .................... Done
ncsim> source /tools/INCISIV111/tools/inca/files/ncsimrc
ncsim> run
 (req & ~gnt) ##1 (~req & gnt) ##1 (~req & ~gnt) ;
                        |
ncsim: *E,ASRTST (./test.sv,27): (time 1245 NS) Assertion concurrent_assertion_tb.dut.req_gnt_assert has failed (2 cycles, starting 1239 NS)
 (req & ~gnt) ##1 (~req & gnt) ##1 (~req & ~gnt) ;
      |
ncsim: *E,ASRTST (./test.sv,27): (time 1245 NS) Assertion concurrent_assertion_tb.dut.req_gnt_assert has failed (1 cycles, starting 1245 NS)
@1245ns Assertion Failed
 (req & ~gnt) ##1 (~req & gnt) ##1 (~req & ~gnt) ;
      |
ncsim: *E,ASRTST (./test.sv,27): (time 1251 NS) Assertion concurrent_assertion_tb.dut.req_gnt_assert has failed (1 cycles, starting 1251 NS)
@1251ns Assertion Failed
 (req & ~gnt) ##1 (~req & gnt) ##1 (~req & ~gnt) ;
      |
ncsim: *E,ASRTST (./test.sv,27): (time 1257 NS) Assertion concurrent_assertion_tb.dut.req_gnt_assert has failed (1 cycles, starting 1257 NS)
@1257ns Assertion Failed
 (req & ~gnt) ##1 (~req & gnt) ##1 (~req & ~gnt) ;
      |
ncsim: *E,ASRTST (./test.sv,27): (time 1263 NS) Assertion concurrent_assertion_tb.dut.req_gnt_assert has failed (1 cycles, starting 1263 NS)
@1263ns Assertion Failed
 (req & ~gnt) ##1 (~req & gnt) ##1 (~req & ~gnt) ;
      |
ncsim: *E,ASRTST (./test.sv,27): (time 1269 NS) Assertion concurrent_assertion_tb.dut.req_gnt_assert has failed (1 cycles, starting 1269 NS)
@1269ns Assertion Failed
Simulation complete via $finish(1) at time 1879 NS + 0
./test.sv:58   #10 $finish;
ncsim> exit
TOOL:   ncxlmode        11.10-s021: Exiting on Aug 01, 2014 at 13:00:03 IST  (total: 00:00:01)