URL
https://opencores.org/ocsvn/oms8051mini/oms8051mini/trunk
Subversion Repositories oms8051mini
[/] [oms8051mini/] [trunk/] [example/] [systemverilog/] [assertion/] [test3/] [sim.log] - Rev 32
Go to most recent revision | Compare with Previous | Blame | View Log
ncxlmode: 11.10-s021: (c) Copyright 1995-2012 Cadence Design Systems, Inc.TOOL: ncxlmode 11.10-s021: Started on Aug 01, 2014 at 13:11:44 ISTncxlmode+access+rcwtest.sv-lsim.logfile: test.svmodule worklib.repetition_assertion:sverrors: 0, warnings: 0Caching library 'worklib' ....... DoneElaborating the design hierarchy:Building instance overlay tables: .................... DoneGenerating native compiled code:worklib.repetition_assertion:sv <0x08c92930>streams: 13, words: 8753Loading native compiled code: .................... DoneBuilding instance specific data structures.Design hierarchy summary:Instances UniqueModules: 1 1Registers: 17 17Always blocks: 9 9Initial blocks: 7 7Assertions: 2 2Writing initial simulation snapshot: worklib.repetition_assertion:svLoading snapshot worklib.repetition_assertion:sv .................... Donencsim> source /tools/INCISIV111/tools/inca/files/ncsimrcncsim> runreq ##1 busy [*3] ##1 gnt;|ncsim: *E,ASRTST (./test.sv,41): (time 23 NS) Assertion repetition_assertion.cool_way_assert has failed (5 cycles, starting 15 NS)req ##1 busy ##1 busy ##1 busy ##1 gnt;|ncsim: *E,ASRTST (./test.sv,40): (time 23 NS) Assertion repetition_assertion.boring_way_assert has failed (5 cycles, starting 15 NS)Simulation complete via $finish(1) at time 55 NS + 0./test.sv:70 #30 $finish;ncsim> exitTOOL: ncxlmode 11.10-s021: Exiting on Aug 01, 2014 at 13:11:45 IST (total: 00:00:01)
Go to most recent revision | Compare with Previous | Blame | View Log
