No abstract

Ethics in games and simulations may relate to the outside world, or to the behavior of the participants within the event, or to the behavior of the facilitator: It is important to distinguish between the three categories; otherwise, participants can be criticized unfairly.

We present a method for the automatic generation of test vectors for functional verification, giving the advantages of random and directed testing. We show the use of a formal specification as input to a test generator. We present techniques for the efficient implementation of the generator. We discuss our experience with this method applied to commercial designs. We show how our approach is a stepping stone towards practical formal verification.

No abstract

No abstract

No abstract

No abstract

No abstract