Pacific Numerix Corporation
http://www.crl.com/~pacnum/pnc.html
Develops electronic design validation tools and related software applications. Includes technical specifications, demonstration slide show, and contact information.