PSIM - An emulator at work
PSIM - Model of the PowerPC(tm) Architecture
Copyright (C) 1994-1996,
Andrew Cagney
Commercial distributions that have integrated PSIM:
Projects making use of PSIM:
-
Nana - An assertion checking library
- Nana is a free library providing support for assertion
checking and program logging with minimal time and space overhead. It
also provides some limited support for formal methods ideas such as
before and after state and forall and exists (with nesting
etc). Phil Maker
- University of
Michigan PUMA Project
- PUMA is a 1 GHz GaAs microprocessor which implements a subset of
the PowerPC instruction set architecture.
PSIM - Model of the PowerPC Architecture