Random test generator: Difference between revisions

Revision as of 14:34, 8 September 2009

Revision as of 00:37, 18 October 2009

Line 1:

{{orphan|date=October 2009}}

'''Random test generators''' (often abbreviated RTG) are a subset of [[Generator_(computer_science)|generators]] that are used in [[Functional_verification|functional verification]] of microprocessors. Their primary use lies in providing input stimulus to a [[Device_under_test|device under test]].

'''Random test generators''' (often abbreviated RTG) are a subset of [[Generator_Generator (computer_sciencecomputer science)|generators]] that are used in [[Functional_verification|functional verification]] of microprocessors. Their primary use lies in providing input stimulus to a [[Device_under_test|device under test]].

In a [[Logic_simulation|simulation]] / [[Testbench|testbench]] verification environment, the simulator processes input created by the RTG and coverage monitors may used to verify that the generator is properly testing the design.

In a [[Logic_simulationLogic simulation|simulation]] / [[Testbench|testbench]] verification environment, the simulator processes input created by the RTG and coverage monitors may used to verify that the generator is properly testing the design.

Random test generators range in scope from simple [[Scripting_language|scripts]] and parameterized [[Macro_(computer_science)|macros]] that can be created in a matter of weeks to full featured systems requiring extensive software development. Random test generators are most often created by the designing organizations.

Random test generators range in scope from simple [[Scripting_languageScripting language|scripts]] and parameterized [[Macro_Macro (computer_sciencecomputer science)|macros]] that can be created in a matter of weeks to full featured systems requiring extensive software development. Random test generators are most often created by the designing organizations.

== Table Based Generators ==

== Table Based Generators ==

Table based test generators are the simplest RTGs available. Creation of such generators can be accomplished relatively quickly, and maintenance requirements are often low. These generators work by capturing [[Instruction_set_architectureInstruction set architecture|ISA]] knowledge and storing it in a [[Relational_database|relational database]] for later use. Because of their simplistic nature, table based generators may be used by less skilled personnel to create interesting tests. There is a drawback to these generators however, as their implementation is generally restricted to simple architectures. Usage on more complex ISAs may result in an inability to reach [[Corner_caseCorner case|corner-cases]] or create complex scenarios. Table based generators may also generate invalid tests at times.

== Static Generators ==

Static generators are similar to table based generators with the exception that the majority of the instruction, operand and data selection reside in complex [[Procedural_code|procedural code]]. Static generators are capable of producing more random behavior than table based generators, but still have trouble hitting many corner-cases. In addition, the skill level required to create and maintain such a tool rises sharply once this level of sophistication is reached.

Static generators are similar to table based generators with the exception that the majority of the instruction, operand and data selection reside in complex [[Procedural_code|procedural code]]. Static generators are capable of producing more random behavior than table based generators, but still have trouble hitting many corner-cases. In addition, the skill level required to create and maintain such a tool rises sharply once this level of sophistication is reached.

== Dynamic Generators ==

== Dynamic Generators ==

Dynamic generators incorporate significant knowledge about the architecture being tested. They enhance the ability of less-skilled users to generate complex tests that can hit hard-to-reach corner cases without stumbling on subtle programming pitfalls. This added knowledge, flexibility and ease-of-use is reflected in a more complex generator, and consequently the cost of creating and maintaining the generator are greater than for table-based or static generators.

== External Links links==

* [http://www.haifa.ibm.com/dept/svt/papers/simulation/meth_date99.pdf IBM Genesys Pro]

* [http://www.obsidiansoft.com Obsidian Software RAVEN]