• Publications
  • Influence

Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage publications (all current information on this profile has been aggregated automatically from publisher and metadata sources).
  • Aharon Aharon, Ayal Bar-David, Barry Dorfman, Emanuel Gofman, Moshe Leibowitz, Victor Schwartzburd
  • Computer Science
  • IBM Systems Journal
  • 1991 (First Published: 1 October 1991)
  • 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 IBM RISC System/6000™ was verifiedContinue Reading