Verification of the IBM RISC System/6000 by a Dynamic Biased Pseudo-Random Test Program Generator

@article{Aharon1991VerificationOT,
  title={Verification of the IBM RISC System/6000 by a Dynamic Biased Pseudo-Random Test Program Generator},
  author={Aharon Aharon and Ayal Bar-David and Barry Dorfman and Emanuel Gofman and Moshe Leibowitz and Victor Schwartzburd},
  journal={IBM Systems Journal},
  year={1991},
  volume={30},
  pages={527-538}
}
Verification of a computer that implements a new architecture is especially difficult since no approved functional test cases are available. The logic design of the ISM RlSC System/SOOO" was verified mainly by a special1 developed random test program generator (RT PY G), which was used from the early stages of the design until its successful completion. APL was chosen for the RlSC System/SOOO RTPG implementation after considering the suitability of this programming language for modelin computer… CONTINUE READING
Highly Cited
This paper has 97 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.

97 Citations

051015'95'00'06'12'18
Citations per Year
Semantic Scholar estimates that this publication has 97 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-7 of 7 references

Hardware Design Verification with Task Models, Technical Report 88.289

  • A. Aharon, R. Gewirtzman, E. Gofman, Y. Malka
  • IBM Israel Science and Technology,
  • 1990

Introduction and Survey of Current Research,” Computer 21, No

  • P. Camurati, P. Prinetto, “Formal Verification of Hardware Correctness
  • 7, 8-19
  • 1988
1 Excerpt

Trends in Commercial VLSI Microprocessor Design,

  • N. Tredennick
  • VZSZ CAD Tools
  • 1987

Similar Papers

Loading similar papers…