モデルベースデザイン手法を使ったProgrammable SoCの協調設計【実践編II】（関連情報）：HDLコード生成から統合検証まで