Random stimuli generation based on a stochastic context-free grammar

The aim of this paper is to present the use of a stochastic context-free grammar in the domain of stimulus generation. Nowadays, the randomly constructed stimuli are largely applied in functional verification to verify a proper design and final implementation. Context-free grammar cannot be used by itself in the stimuli generation, therefore, an additional logic in the form of constraints has to be applied. The aim of the research is to create versatile solution for stimuli generation that can be used for various systems. The results achieved till now are used in verifying fault tolerance qualities of electromechanical designs, the control unit of which is implemented into FPGA.

[1]  V. V. Belkin,et al.  ISA Based Functional Test Generation with Application to Self-Test of RISC Processors , 2006, 2006 IEEE Design and Diagnostics of Electronic Circuits and systems.

[2]  Giovanni Squillero,et al.  A genetic algorithm-based system for generating test programs for microprocessor IP cores , 2000, Proceedings 12th IEEE Internationals Conference on Tools with Artificial Intelligence. ICTAI 2000.

[3]  Jakub Podivinsky,et al.  The Evaluation Platform for Testing Fault-Tolerance Methodologies in Electro-Mechanical Applications , 2014, 2014 17th Euromicro Conference on Digital System Design.

[4]  Jan Hudec.  An efficient technique for processor automatic functional test generation based on evolutionary strategies , 2011, Proceedings of the ITI 2011, 33rd International Conference on Information Technology Interfaces.

[5]  Alexander Meduna,et al.  Formal Languages and Computation: Models and Their Applications , 2014 .

[6]  Tsuneo Nakata,et al.  Functional verification of system on chips - practices, issues and challenges , 2002, Proceedings of ASP-DAC/VLSI Design 2002. 7th Asia and South Pacific Design Automation Conference and 15h International Conference on VLSI Design.

[7]  Andreas Meyer.  Principles of Functional Verification , 2003 .