About us

                     https://a073c4e2-a-62cb3a1a-s-sites.googlegroups.com/site/sugiuratest/about-us/photo.jpeg?attachauth=ANoY7cqG_G-1DQuYINGNTaTdyOlhl97oZrTMcusrdISIPSVGBVOTrfBHelu5eIXJwYkUM82-6oAG4oQcsfPRM_9WdOYX-G-tDzfPznY7fBJa8NAG9SI9zyvP7RtXn722Xl5Uf2t4uVpFyDcSfcaAaaG9hQwgWQkpO7HurU-pz_u7gql7nlDf7HNJFBBD0-rbYZ9JEkgfxJzLYwqI3qRXGoka6SY99o-VcQ%3D%3D&attredirects=0
                                    代表取締役 杉浦 義英

                    1993年、パシフィック・デザイン株式会社は設立されました。当初、米国EDAツールの販売代理店としてスタートしています。

                    ・2001年、C言語設計向けコンフィギャラブル・プロセッサVUPUを開発、販売を開始し、開発会社となりました。
                    ・2006年、VUPUは株式会社ガイア・システム・ソリューション様へ事業譲渡致しました。
                    ・2008年、東京大学・藤田昌宏教授ご指導の下、形式的検証ツールの研究開発に着手致しました。
                    ・2010年、AiPGの開発をスタートしました。この年4月に、BoolectorがGNU/GPL宣言されたからです。

                    以下に当社概要を示します。

                    会社名            パシフィック・デザイン株式会社
                    住所               〒222-0033 神奈川県横浜市港北区新横浜2-12-2
                    代表取締役     杉浦 義英
                    取締役           尾 孝尚
                    社外取締役     鮫島 卓
                    資本金            9,994,000円

                                                                                                                                                                                以上