検証のためのSystemVerilogプログラミング [ 篠塚 一也 ] hb.afl.rakuten.co.jp/hgc/g00q072e.m… #アウトレット

返信先:@f0reachKITディジタル電子回路はSystemVerilogに切り替えたんだし、FPGAの講義も切り替わって欲しいのだ

検証のためのSystemVerilogプログラミング [ 篠塚 一也 ] hb.afl.rakuten.co.jp/hgc/g00q072e.m… #shopping

これとは別にSystemVerilog本、半分くらいまで行きましたわ pic.twitter.com/QipULTKc05

VivadoはSystemVerilogの仕様をすべてカバーしていないと聞いたことがあるけど、それ以前に割り当てをミスるとかのバグはそれと関係なく対処してほしいし、早くやれ。

連休はsystemverilogのテストベンチ書くか。

SystemVerilog改訂版 IEEE Std 1800-2023の良いところは、厳密な補足が追加されている事です。 pic.twitter.com/SeCyQCivVx

すげー！extendsキーワードなんてもはやJavaだよ、SystemVerilogくん pic.twitter.com/wneXUIevIv

systemverilog、super.newみたいなのおもしれえ。 頭の中からほぼsystemCが消えてるので新鮮に見えなくもない

SystemVerilog、extendsキーワードあるんか。 もうJavaじゃん class SubClass extends BaseClass; だって

SystemVerilogでFibonacci数を計算できた(automatic functionで末尾再帰)ｗｗｗ pic.twitter.com/XhGBNnpewN

SystemVerilog微妙にC++っぽくないのめんどくせえ。

Verilog から SystemVerilog へ ↓ 非常に参考になる qiita.com/vega77/items/3…

systemverilogやらないでUVMの本読んでる。 cppからsystemverilogの文法を推測しながら読んでる。

検証のためのSystemVerilogプログラミング [ 篠塚 一也 ] hb.afl.rakuten.co.jp/hgc/g00q072e.m… #sale

ゴールデンウイークですが、SystemVerilogの学習をしている人もいると思います。学習課題を提供します。慣れるとmapは便利なので、使用法を理解すると役立ちます。 pic.twitter.com/M7ugRltbbg

SystemVerilogの整数型（byte, short, int, longint, integer, time）は、見かけはpackedアレイではありませんが、あたかもpackedアレイのように扱えます。この事実は、LRMに明記されています。 pic.twitter.com/upGwMsRAhH

2020年過ぎでSystemVerilogに移行してマイペースでコツコツ開発していたやつが終わりに近づいてきた。とはいえまだテストあるし、制御フローもまともにしなきゃならないけど。

＜新着図書＞ SystemVerilog超入門 : はじめて学ぶハードウェア記述言語 / 篠塚一也著 opac.lib.hosei.ac.jp/opac/opac_link…

JetBrains IDEのSystemVerilogプラグイン、メンテされてなくて古〜〜〜いバージョンでしか使えない……

SystemVerilog、propertyを使ったassertionをなんとなく使っているくらいだからなあ。

SystemVerilogでいろいろなデータ型があることを学んだ 結構モダンだなぁという印象が大きい pic.twitter.com/yYjdclSM5C

Quartus Prime Lite 22.1でSystemVerilog error no support for unions がどうやっても消せない。 当該箇所でtypedef union packedしてるだけなのだが何が間違ってるんだろ。 マニュアルのSection 7—Aggregate Data TypesにもUnionsはSupportedと書いてあるんだけどどうしてなんだよ🥲

SystemVerilog本買ったから読もうっと

AtCoder、SystemVerilogに対応してほしい

SystemVerilogのpackedアレイとunpackedアレイは、大局的にはアレイであり同じ概念です。例えば、何れにもforeachを使用できます。根本的な差異は、データの格納法にあります。 pic.twitter.com/d5bjD4n1cQ

返信先:@toyoshim他1人SystemVerilog 限定じゃないかと思います． sv2v はうちの学生さんも使ってますけど，元の SystemVerilog が結構えぐい書き方してても割ときちんと変換できてるぽくはあります．ただ，2段で変換かますとデバッグしやすいかというと微妙かもしれないですね．

返信先:@n_hattaこれ、以前気づいて使ってみたい気もしたんだけど、トランスコンパイル先がSystemVerilog限定だったりします？趣味環境だとどうしても未だにVerilog限定だったりする対象もあり……sv2vとか使えば良いのかな。

ボクはSystemVerilogを「プログラミング言語のように書きやすい」みたいに言う主張はかなり嫌いなんだけども(回路はデータフローで常に考えるべき)、この書き方ができるのは、かなり、キモいな...便利だけど。 edaplayground.com/x/pRJ2 pic.twitter.com/iZafC7jYB1

SystemVerilogのキューに値を設定するためには、キューリテラルを使うかキューのメソッドを使用しなければなりません。意外と不便を感じますが、新機能のmapを使用すれば、その問題は解消されます。 pic.twitter.com/bi3wMToNGB

検証のためのSystemVerilogプログラミング [ 篠塚 一也 ] hb.afl.rakuten.co.jp/hgc/g00q072e.m… #お得

SystemVerilog の弱い参照と強い参照との関係を示す分かり易い例を紹介しましょう。 pic.twitter.com/jbClXUSQg3

SystemVerilog の Interface 記述とか使えると便利そうと思ってはいるけど、現状なかなか手が出ない

なおVerylならいいのかと言われると、Verylの生成物のSystemVerilogで説明すればいいというのはある。

module(input [31:0] N,outout [31:0] s); logic [31:0] c0,c1,c,s0; assign c0=N&32’h1; assign s0=N^32’h1; assign c=c0 | c1; assign c1=s0&(c<<1); assign s=s0^(c<<1); endmodule 言語はSystemVerilog(ハードウェア記述言語)です！(多分合成できない)

直近書いてるDisplayPort周りのRTLのモジュールやDDSの波形生成モジュールはVerylで書いている。Rust書いてる身としてはかなり書きやすい。生成されたSystemVerilogがほぼ1対1対応なので読めるってのも重要なところ。 github.com/ciniml/fpga_sa…

stableではないので当たり前だが、今のところverylで色々書くのは苦行ということが分かった。ただ、SystemVerilogに比べて書きやすく、自分的には非常に期待度が高い。

SystemVerilogでブロッキング代入とノンブロッキング代入を一つのalways内で行う場合にalways_combやalways_ffを使わずに書くことになるのでVerilogHDLでいいんじゃねぇかってなる

SystemVerilogには誤りを未然に防ぐための仕組みが多く組み込まれています。今回の改訂版により、その仕組みが設計と検証の両分野で強化されている事がわかります。ここで、それらを一旦整理してみます。 pic.twitter.com/9i6oO1hevN