In Use at Leading Platform Companies, Prism Enables the Analysis, Exploration, and Verification of Embedded Software to Fully Leverage Multicore Processor Architectures. San Jose, CA -- March 19, 2009 ...