Functional verification based on the EFSM model

Fummi, Franco; Marconcini, C.; Pravadelli, Graziano

doi:10.1109/hldvt.2004.1431240

Cited by 8 publications

(4 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Thus, test sequences generated by exploiting the SEFSM lose their efficacy when they are simulated on the REFSM. However test sequences conversion is infeasible in same cases, because of the presence of faults which are detectable on the SEFSM, but undetectable on the REFSM [7]. Therefore, we propose a procedure to generate a new kind of EFSM, which is exactly equivalent to the REFSM, but it preserves the traversing characteristics of the SEFSM (see Section 4).…”

Section: Introductionmentioning

confidence: 95%

“…Note that, this is a typical situation producing hard-to-detect faults. On the contrary, in [6,7], we showed that different kinds of EFSMs can be generated starting form the same HDL description, and each of them is composed of transitions with a more or less uniformly distributed probability of being activated. In particular, in [6] we proposed a procedure that generate a new EFSM, starting from a reference EFSM (REFSM) that is exactly equivalent to the HDL description of design under verification (DUV).…”

Section: Introductionmentioning

confidence: 98%

See 1 more Smart Citation

An EFSM-based approach for functional ATPG

Fummi

Marconcini

Pravadelli

2005

Proceedings of the 15th ACM Great Lakes Symposium on VLSI

View full text Add to dashboard Cite

This paper presents an EFSM-based approach for functional automatic test pattern generation (ATPG). It shows how a particular kind of extended FSM (EFSM) can be efficiently traversed by a pseudo-determinist ATPG to control and propagate faults for a functional description of a design. Functional ATPG on such EFSM models have been showed to be more efficient than the ATPG on the original design. However, test sequences generated on such an EFSM can lose their efficacy when simulated on the original description, since they may show some timing discrepancies. To solve this problem, this paper propose a strategy that manipulates the EFSM model.

show abstract

Section: Introductionmentioning

confidence: 95%

Section: Introductionmentioning

confidence: 98%

An EFSM-based approach for functional ATPG

Fummi

Marconcini

Pravadelli

2005

Proceedings of the 15th ACM Great Lakes Symposium on VLSI

View full text Add to dashboard Cite

show abstract

“…Reference [9] proposed an approach of property-oriented testing method for real-time systems based on unified modeling language (UML) statecharts. Combined with the hardware structure and using the fault injection method, a testing method for embedded system based on the EFSM model was given in [10]. Using the real-time extended finite state machine (RT-EFSM) model and a timed unique input/output sequence (t UIO), the modeling and formal testing method for aircraft safety-critical software was proposed and the method in the aircraft inertial/satellite navigation systems software testing practice was applied successfully in [11].…”

Section: Introductionmentioning

confidence: 99%

Real-time embedded software testing method based on extended finite state machine

Yin

Liu

Ni³

2012

J. of Syst. Eng. Electron.

View full text Add to dashboard Cite

The reliability of real-time embedded software directly determines the reliability of the whole real-time embedded system, and the effective software testing is an important way to ensure software quality and reliability. Based on the analysis of the characteristics of real-time embedded software, the formal method is introduced into the real-time embedded software testing field and the real-time extended finite state machine (RT-EFSM) model is studied firstly. Then, the time zone division method of real-time embedded system is presented and the definition and description methods of time-constrained transition equivalence class (timeCTEC) are presented. Furthermore, the approaches of the testing sequence and test case generation are put forward. Finally, the proposed method is applied to a typical avionics realtime embedded software testing practice and the examples of the timeCTEC, testing sequences and test cases are given. With the analysis of the testing result, the application verification shows that the proposed method can effectively describe the real-time embedded software state transition characteristics and real-time requirements and play the advantages of the formal methods in accuracy, effectiveness and the automation supporting. Combined with the testing platform, the real-time, closed loop and automated simulation testing for real-time embedded software can be realized effectively.

show abstract

“…This may cause that a test sequence generated by considering the LEFSM looses its efficacy when simulated on the original HDL description. A not optimized solution to convert test sequences generated for the LEFSM in test sequences for the original description is proposed in [15]. However, such an approach does not guarantee that each fault tested on the LEFSM can be tested also on the original design.…”

Section: Generation Of the Largest Efsmmentioning

confidence: 99%

EFSM Manipulation to Increase High-Level ATPG Effectiveness

Guglielmo

Fummi

Marconcini

et al.

7th International Symposium on Quality Electronic Design (ISQED'06)

Self Cite

View full text Add to dashboard Cite

The EFSM paradigm can be efficiently adopted to model complex designs without incurring in the state explosion problem typical of the traditional FSM paradigm. However, traversing an EFSM can be more difficult than an FSM because the guards of transitions involve both primary inputs and internal registers. Hard-to-traverse transitions represent a problem when a simulation-based approach is applied to perform functional validation. In fact, they do not allow a complete exploration of the state space. In this paper, EFSM hardto-traverse transitions are classified, and a set of transformations is proposed to generate an EFSM model which is easy to be traversed. This allows pseudo-deterministic ATPGs to more uniformly analyze the state space of the resulting EFSM.

show abstract

Functional verification based on the EFSM model

Cited by 8 publications

References 8 publications

An EFSM-based approach for functional ATPG

An EFSM-based approach for functional ATPG

Real-time embedded software testing method based on extended finite state machine

EFSM Manipulation to Increase High-Level ATPG Effectiveness

Contact Info

Product

Resources

About