Allon Adir and Gil Shurek. Generating concurrent testprograms with collisions for multi-processor verification. In IEEE International High Level Design Validation and Test Workshop, Cannes, France, October 2002. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
X-Gen: A Random Test-Case Generator For Systems And Socs - Emek, Jaeger, Naveh.. (2002) (Correct)
....are oriented at systems and SoCs (see last section for details) It should be noted that X Gen is dedicated to stimuli generation. In most cases, it is used in conjunction with some separate, on the fly checking mechanism. X Gen may also generate, when requested, end of test expected results [1]. Using X Gen in this mode prevents it from generating certain classes of tests. The rest of this paper is structured as follows: the next section describes the system modeling framework. We then describe the request file language, the generation scheme, and the way X Gen is currently used in ....
Allon Adir and Gil Shurek. Generating concurrent testprograms with collisions for multi-processor verification. In IEEE International High Level Design Validation and Test Workshop, Cannes, France, October 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC