![]() 代表取締役 杉浦 義英 ・1993年、パシフィック・デザイン株式会社は設立されました。当初、米国EDAツールの販売代理店としてスタートしています。 ・2001年、C言語設計向けコンフィギャラブル・プロセッサVUPUを開発、販売を開始し、開発会社となりました。 ・2006年、VUPUは株式会社ガイア・システム・ソリューション様へ事業譲渡致しました。 ・2008年、東京大学・藤田昌宏教授ご指導の下、形式的検証ツールの研究開発に着手致しました。 ・2010年、AiPGの開発をスタートしました。この年4月に、BoolectorがGNU/GPL宣言されたからです。 以下に当社概要を示します。 会社名 パシフィック・デザイン株式会社 住所 〒222-0033 神奈川県横浜市港北区新横浜2-12-2 代表取締役 杉浦 義英 取締役 中尾 孝尚 社外取締役 鮫島 卓 資本金 9,994,000円 以上 |