KMLM List

[Evan Lavelle <anti.spam1@xxxxxxxxxxxxx>]

I'm trying to find processor models written in SystemC, but the only 
public-domain one I've found so far is MicroLib's PPC 750 
(http://www.microlib.org/G3/PowerPC750.php). Does anyone know of any others?

I need the models to test a verification product; if you have an 
unverified proprietary model, and need some assistance verifying it, 
please feel free to contact me directly. SystemC is preferred, but 
Verilog/VHDL should also be Ok.

Thanks

Evan Lavelle