SDKにチェックを入れて、OKボタンをクリックした。・SDKが立ち上げた。FPGAダイアログで、そのまま、Programボタンを押して、Atlysボードにビットファイルをダウンロードした。・結果はエラーだった。Data2MEMでエラーだった。・仕方が無いので、またiMPACTを起動してビットファイルをダウンロードした。ビットファイルは、tlys_XPS_CDC_SVGA_141_PA.sdk\SDK\SDK_Export\Atlys_XPS_CDC_SVGA_141_hw_platformの下にあるsystem.bitだ。これはデバックモードににするため、コンパイル出来ればなんでも良い。Cソフトウェアを生成した。0;}・2つダイアログが出てきたが、デバックモードになった。XMDのウインドウを右はじに移動した。レジスタがたくさんある。Registerがあって、レジスタ群のイネーブルやリセットを行う。Registerから引用させていただく。Register(32ビット長)のビット割り当てを下に示す。Counter群をリセットする。Counter群をリセットする。