Altifigence Academy
← マイラーニング

RTL設計の基礎

学習目次

学習目次
01RTLとモジュールの契約
RTL：同時に動作する回路を記述する概念
信号とポート：幅・方向・時間の取り決め概念
モジュール・ポート・インスタンス：接続を契約として読む概念
理解確認：組合せ出力と保存出力理解度チェック
02型・幅・符号と式
logic・wire・X/Zと明示的なビット幅概念
ベクトルのインデックス・ビット順・符号概念
スライス・連結・繰返し演算の幅概念
2 の補数・符号拡張・オーバーフロー概念
理解確認：範囲と明示的な拡張理解度チェック
03完全な組合せRTLと検証
組合せ RTL と完全な代入概念
エンコーダと優先順位：複数の要求から一つを選ぶ概念
MUX の検証：全数検査とプロパティ概念
設計確認：選択回路の等価性と観測時点理解度チェック
04状態・代入・リセットの優先順位
フリップフロップ・enable・制御の優先順位概念
ノンブロッキング代入と同時状態更新概念
モジュロ・飽和カウンタと終了パルス概念
実習：カウンタのリセット・循環・不変条件の検証実習
設計確認：幅・優先順位・循環の境界理解度チェック
05パラメータと静的構造の生成
parameter・localparam・$clog2と境界設定概念
generate：反復で静的回路を作る概念
function automaticと式の再利用概念
理解確認：N=1とビット幅理解度チェック
06テストベンチと独立した検証
波形のサンプリング時点と因果関係概念
実習：自分で失敗を報告するテストベンチ実習
検証計画・カバレッジ・独立した参照モデル概念
カウンタのデバッグと最小反例概念
理解確認：参照モデルと競合理解度チェック
07モジュール接続と総合実習
状態機械：状態・遷移・出力を分ける概念
総合設計：重なりを許す 101 パターン検出器概念
Ready/valid と 1 要素のエラスティックバッファ概念
乗加算パイプラインとデータの整列概念
総合実習：周期パルスとenable累算器を接続する実習
08ツール診断と結果の範囲
セットアップ・ホールドとタイミング予算概念
クロック領域の境界とメタステーブル概念
コンパイル・lint・合成：診断が示す範囲概念
実行記録とDDS実習への接続概念
最終確認：機能通過と実行証拠理解度チェック

選択はこのブラウザに適用されます。フッターからいつでも変更できます。

必須ストレージ

安全なログイン、依頼された学習記録や表示設定、プライバシー選択の保存に使います。

常に有効

広告・分析トラッカーは使いません。選択は180日間保存され、ログインや規約への同意とは別です。