上のような写真を散らしたようなレイアウトをJavascript/CSS/HTMLを用いて作ります。JavaScriptのLightbox系プラグインである「PhotoSwipe」はこのような特殊な配置と相性が良く、これを用いることで、画像の鑑賞性と操作性に …

Windowsでいくつもディレクトリを参照しながら作業するとき、エクスプローラーのウィンドウを何個も開いて作業しているとかなり面倒です。ChromeやEdgeなどのブラウザのように、複数の参照先をタブのようにいくつも開くことのできる「QTTabBar」を使うとこの面倒な状態を改善 …

randomize()における制約のまとめページです。SystemVerilogにおける乱数生成関数を用いたテストベンチの記述、検証において乱数への制約を適切に加えることで効率的な検証を行うことを目指します。 目次randomize()制約：記述方法3選inside：出現値（範囲）指定制約dist：出 …

配列などの複数のデータに対してrandomizeにおける制約を適用する際、foreachを用いることで、一括で制約を加えることができます。 目次foreachによる制約実装randomize制約一覧 foreachによる制約実装ここでは、実装2行目で要素数4の配列を作成し、これらにrandomi …

randomizeにおける制約solve-beforeを使用することで、値の組み合わせの出現確率を調節することができます。これだけ読んでもよく意味が分からないと思うので、以下で詳細をまとめます。 目次solve-beforeを使用しない場合solve-beforeを使用した場合randomize()制約一覧 …

if-elseを用いることでrandomizeによる乱数生成において、条件分岐による制約（constraint）を記述することが出来ます。複数制約の重ね掛けも可能という点はimplication(->)を用いた制約と使い方が類似しているようにも思います。目次if-elseを用いた制約例randomize()制約一 …

randomize()の制約の一つ、implication(->)を使うことで、制約間の関係を指定することができます。implicationという名前ですが、コード記述内では「->」のような記述方法を使います。以下でこのimplicationの使用方法についてまとめます。 目次制約implicateの使用例１制 …

乱数を生成するrandomize()の制約（constraint）の一つ、uniqueについて使用例をまとめます。乱数の制約uniqueは対応しているツールに制限が大きいような気がしています。少なくとも無料で使うことのできるVivado（vsim）やiverilogなどで使用していた特定のバージョンで …