2007年11月15日、フォーマル検証ツールを手掛けるOneSpin Solutions社は、新しい日本法人のオフィスを横浜に開設し、日本での事業活動を拡大する事を発表した。OneSpinは、今年5月に日本法人を立ち上げ、横浜ワールドビジネスサポートセンター内にオフィスを…

「Simulink HDL Coder」は、システムレベルのSimulinkモデルやEmbedded MATLABコード、Stateflowチャートから、ビット精度の合成可能なHDL（Verilog/VHDL）を生成するツールで、Matlab/Simulink環境からハードウェアへの実装パスを提供するもの。今回メンタ…