Project

General

Profile

Actions

Bug #5608

closed

[efsm][generator][test][fate] FATE generator hangs at b03 description from ITC'99

Added by Sergey Smolov about 9 years ago. Updated about 9 years ago.

Status:
Closed
Priority:
High
Category:
-
Target version:
Start date:
02/11/2015
Due date:
% Done:

100%

Estimated time:
Detected in build:
svn
Platform:
Published in build:
20150307

Description

The FATE test generator hangs on b03 description. The last part of it's log is the following:


[ant-junit] 2015.02.11 01:32:24.946. INFO: RandomFateGenerator.WORK.B03(BEHAV)_0: the transition has been traversed successfully
[ant-junit] 2015.02.11 01:32:24.946. INFO: RandomFateGenerator.WORK.B03(BEHAV)_0: input vector: {events: {posedge of CLOCK}; transaction: {RESET = 0}}
[ant-junit] 2015.02.11 01:32:24.946. INFO: RandomFateGenerator.WORK.B03(BEHAV)_0: current coverage: 0.6% (3 of 467 transitions)
[ant-junit] 2015.02.11 01:32:25.083. INFO: EFSM.Simulator.WORK.B03(BEHAV)_0: processing the events: {posedge of CLOCK}
[ant-junit] 2015.02.11 01:32:25.083. INFO: EFSM.Simulator.WORK.B03(BEHAV)_0: input dump: {REQUEST3 = 0; REQUEST4 = 0; RESET = 0; REQUEST1 = 0; REQUEST2 = 0}
[ant-junit] 2015.02.11 01:32:25.533. INFO: EFSM.Simulator.WORK.B03(BEHAV)_0: traversing the transition {source state: (AND (AND (AND (AND (AND (NOT (EQ STATO 0)) (EQ STATO 1)) (EQ FU1 0)) (EQ FU2 0)) (EQ FU3 0)) (EQ FU4 0)); destination state: (AND (AND (AND (NOT (EQ STATO 0)) (NOT (EQ STATO 1))) (EQ STATO 2)) (NOT (EQ (BVOR (BVOR (BVOR FU1 FU2) FU3) FU4) 1))); guarded action: {{posedge of CLOCK}: {predicate: (AND (AND (NOT (EQ RESET 1)) (NOT (EQ RU1 1)) (NOT (EQ RU2 1)) (NOT (EQ RU3 1)) (NOT (EQ RU4 1))) (NOT (EQ (BVOR (BVOR (BVOR RU1 RU2) RU3) RU4) 1)))}->{{assignment: BLOCK_GRANT_O_0 := GRANT; assignment: GRANT_O := BLOCK_GRANT_O_0; assignment: FU1 := RU1; assignment: FU2 := RU2; assignment: FU3 := RU3; assignment: FU4 := RU4; assignment: STATO := 2}}}}
[ant-junit] 2015.02.11 01:32:25.533. INFO: EFSM.Simulator.WORK.B03(BEHAV)_0: traversing has been finished successfully
[ant-junit] 2015.02.11 01:32:25.533. INFO: EFSM.Simulator.WORK.B03(BEHAV)_0: current state: (AND (AND (AND (NOT (EQ STATO 0)) (NOT (EQ STATO 1))) (EQ STATO 2)) (NOT (EQ (BVOR (BVOR (BVOR FU1 FU2) FU3) FU4) 1)))
[ant-junit] 2015.02.11 01:32:25.533. INFO: EFSM.Simulator.WORK.B03(BEHAV)_0: inner variables' dump: {BLOCK_GRANT_O_0 = 0000; FU3 = 0; FU4 = 0; FU1 = 0; RU1 = 0; GRANT = 0000; FU2 = 0; RU2 = 0; STATO = 2; CODA1 = 000; CODA2 = 000; CODA3 = 000; RU4 = 0; RU3 = 0; CODA0 = 000}
[ant-junit] 2015.02.11 01:32:25.533. INFO: EFSM.Simulator.WORK.B03(BEHAV)_0: output dump: {GRANT_O = 0000}
[ant-junit] 2015.02.11 01:32:25.563. INFO: EFSM.FATE: the vector has been generated successfully: {events: {posedge of CLOCK}; transaction: {RESET = 0}; transaction: {REQUEST3 = 0; REQUEST4 = 0; REQUEST1 = 0; REQUEST2 = 0}}
[ant-junit] 2015.02.11 01:32:25.563. INFO: EFSM.FATE: current coverage: 1.1% (5 of 467 transitions)
[ant-junit] 2015.02.11 01:32:25.563. INFO: EFSM.FATE: the random phase of generation has been finished successfully. Total coverage: 1.1% (5 of 467 transitions)
[ant-junit] 2015.02.11 01:32:25.563. INFO: EFSM.FATE: starting the directed phase of generation
[ant-junit] 2015.02.11 01:32:25.564. INFO: EFSM.FATE: the WORK.B03(BEHAV)_0 EFSM has uncovered transitions. Processing it
[ant-junit] 2015.02.11 01:32:25.565. INFO: EFSM.FATE.DirectedGenerator.WORK.B03(BEHAV)_0: detecting control dependencies
[ant-junit] 2015.02.11 01:32:29.068. INFO: EFSM.FATE.DirectedGenerator.WORK.B03(BEHAV)_0: control dependencies have been processed successfully
[ant-junit] 2015.02.11 01:32:29.068. INFO: EFSM.FATE.DirectedGenerator.WORK.B03(BEHAV)_0: detecting data dependencies
[ant-junit] 2015.02.11 01:34:15.931. INFO: EFSM.FATE.DirectedGenerator.WORK.B03(BEHAV)_0: data dependencies have been processed successfully
[ant-junit] 2015.02.11 01:34:15.931. INFO: EFSM.FATE.DirectedGenerator.WORK.B03(BEHAV)_0: detecting counters

The full log of Retrascope tests is attached below.


Files

retrascope-log.txt (24.9 MB) retrascope-log.txt Sergey Smolov, 02/11/2015 08:58 AM
Actions #1

Updated by Sergey Smolov about 9 years ago

FATE freezes on b04 too. Please, enable them (b03, b04) in VhdlFiles class when the problem will be solved.

Actions #2

Updated by Igor Melnichenko about 9 years ago

  • Status changed from New to Resolved
  • % Done changed from 0 to 100
Actions #3

Updated by Sergey Smolov about 9 years ago

  • Status changed from Resolved to Verified
Actions #4

Updated by Sergey Smolov about 9 years ago

  • Status changed from Verified to Closed
  • Published in build set to 20150307
Actions

Also available in: Atom PDF