●パイオニアが開発のHUDや有機EL照明、SIM-Drive試作のEV「SIM-LEI」に搭載 http://techon.nikkeibp.co.jp/article/NEWS/20110520/191958/?ref=ML●ARM、プロセサ・コアや周辺回路IPコアの検証にJasperのフォーマル技術を導入 http://techon.nikkeibp.co.jp/a…