ブログパーツUL5

「論理合成」を追加

 当初には記載していなかった論理合成について、合成制約とDCの実行手順などさらに詳しいこと記載しました。これは追加なので本編には含んでおりません。現在、「5.形式検証」をまとめているので。「論理合成」は6.
にしました。「形式検証」がうまくまとまらなければ、繰り上げるかもしれません。
論理合成
0

    コメント
    コメントする








       
    この記事のトラックバックURL
    トラックバック

    カレンダ

      12345
    6789101112
    13141516171819
    20212223242526
    2728293031  
    << October 2019 >>