Project

General

Profile

Bug #5608

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

Added by Sergey Smolov over 4 years ago. Updated over 4 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

History

#1

Updated by Sergey Smolov over 4 years ago

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

#2

Updated by Igor Melnichenko over 4 years ago

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

Updated by Sergey Smolov over 4 years ago

  • Status changed from Resolved to Verified
#4

Updated by Sergey Smolov over 4 years ago

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

Also available in: Atom PDF