dalance (@dalance1982) profile picture

dalance

@dalance1982

Creater of Veryl Hardware Description Language, OSS developer https://teapawt.net/t.co/RfC73vuLib

Joined July 2015
  • Tweets389
  • Following2
  • Followers470
25Media
Photo by dalance (@dalance1982)Photo by dalance (@dalance1982)Photo by dalance (@dalance1982)Photo by dalance (@dalance1982)Photo by dalance (@dalance1982)Photo by dalance (@dalance1982)Photo by dalance (@dalance1982)Photo by dalance (@dalance1982)Photo by dalance (@dalance1982)Photo by dalance (@dalance1982)
Qiita Discussionsでのリクエストもいただき、ありがとうございました！ シンタックスハイライトのライブラリ（Rouge）を更新し、Verylを含む9言語のハイライトに対応しました🙌✨ 対応言語はリリースノートをご覧ください👇 qiita.com/release-notes/2026…
リリースノート - Qiita

リリースノート - Qiita

Qiitaのリリースノートです。新機能の紹介などを行っています。

qiita.com
dalance (@dalance1982) profile picturedalance@dalance1982Oct 30
Replying to @Qiita
@Qiita で使われているシンタックスハイライタが更新されたようで、Verylがサポートされるようになりました。
Image from dalance (@dalance1982)
3
5
1,029
Veryl v0.22.1をリリースしました。 主な追加機能は以下の通りです。 * SVファイルを同梱する[[sv.filesets]] * SVマクロを参照する$define * 極性に依存しないリセット値リテラル * 関数のインライン展開 詳細は以下のリリースブログを参照してください。 veryl-lang.org/blog/announci…
Announcing Veryl 0.22.1 | Veryl

Announcing Veryl 0.22.1 | Veryl

The Veryl team has published a new release of Veryl, 0.22.1. Veryl is a new hardware description language as an alternate to SystemVerilog. If you have a previo…

veryl-lang.org
11
19
823
Verylの形式検証についてzennに記事を書きました。 KaniによるVerylコンパイラの形式検証｜dalance zenn.dev/dalance/articles/44… #zenn
KaniによるVerylコンパイラの形式検証

KaniによるVerylコンパイラの形式検証

zenn.dev
dalance (@dalance1982) profile picturedalance@dalance1982Oct 24
こちらを参考にVerylコンパイラの形式検証を試しています。SVの規格で定義された意味論をkaniで書き、VerylコンパイラのRustコードを直接検証するループをCodexに回してもらうことにしました。さっそく4値評価周りのバグが見つかっており、役に立ちそうです。
1
19
48
2,718
Verylup 0.1.13をリリースしました。eMudhraの中間証明書に関するセキュリティアップデートになるので更新をお願いします。 veryl-lang.org/blog/announci…
Announcing Verylup 0.1.13 | Veryl

Announcing Verylup 0.1.13 | Veryl

The Veryl team has published a new release of Verylup, 0.1.13. Verylup is the official toolchain installer of Veryl. It installs the latest Veryl toolchain and …

veryl-lang.org
4
1
5
458
こちらを参考にVerylコンパイラの形式検証を試しています。SVの規格で定義された意味論をkaniで書き、VerylコンパイラのRustコードを直接検証するループをCodexに回してもらうことにしました。さっそく4値評価周りのバグが見つかっており、役に立ちそうです。
mizchi (@mizchi) profile picturemizchi
@mizchiOct 23
バイブ形式手法、これです gist.github.com/mizchi/db781…
実装コードから仕様を吸い出して Z3 / TLA+ でバグを払い出す — 実践プレイブック

実装コードから仕様を吸い出して Z3 / TLA+ でバグを払い出す — 実践プレイブック

実装コードから仕様を吸い出して Z3 / TLA+ でバグを払い出す — 実践プレイブック. GitHub Gist: instantly share code, notes, and snippets.

gist.github.com
7
1
24
5,977
Veryl v0.22.0をリリースしました。 主な追加機能は以下の通りです。 * 幅・配列サイズ0の宣言をエラーに * 括弧付きの式によるキャスト * ネイティブテストで複数のinitialブロックが可能に * 階層参照先への$readmemh 詳細は以下のリリースブログを参照してください。 veryl-lang.org/blog/announci…
Announcing Veryl 0.22.0 | Veryl

Announcing Veryl 0.22.0 | Veryl

The Veryl team has published a new release of Veryl, 0.22.0. Veryl is a new hardware description language as an alternate to SystemVerilog. If you have a previo…

veryl-lang.org
1
5
1
16
912
dalance retweeted
Kenta Arai (@isKenta14) profile picture
Kenta Arai@isKenta14Sep 9
Veryl プロジェクトで作ったモジュールを IP-XACT の IP にする veryl-ip (github.com/kenta11/veryl-ip) を作りました．
GitHub - Kenta11/veryl-ip

GitHub - Kenta11/veryl-ip

Contribute to Kenta11/veryl-ip development by creating an account on GitHub.

github.com
1
3
5
469
Verylのリリースビルドが一部壊れていることが判明したのでサポートするLinuxプラットフォームを変更します。 影響があるのはCentOS6などの古いバージョンとAlpineなどglibcを持たないもの、およびNixOSです。 詳細は以下をご確認ください。 veryl-lang.org/blog/linux-bi…
Linux binaries switch from musl to glibc | Veryl

Linux binaries switch from musl to glibc | Veryl

The Linux release binaries of Veryl are now dynamically linked against glibc. They used to be statically linked against musl. The asset names are unchanged, ver…

veryl-lang.org
1
12
622
Thank you Huck-Finn for sponsoring veryl-lang on @github! github.com/sponsors/veryl-la…
Sponsor @veryl-lang on GitHub Sponsors

Sponsor @veryl-lang on GitHub Sponsors

Veryl is a modern hardware description language as alternative to SystemVerilog.

github.com
1
6
363
Verylに初めてのスポンサーがつきました🎉 ありがとうございます。とても励みになります。 opencollective.com/veryl
Veryl - Open Collective

Veryl - Open Collective

Veryl is a modern hardware description language as alternative to SystemVerilog.

opencollective.com
7
1
19
980
Veryl v0.21.0をリリースしました。 主な追加機能は以下の通りです。 * FPGA固有記述（readmemhによるROM推論など）の正式サポート * パッケージやモジュールのimport * 組み合わせループ解析の改善 詳細は以下のリリースブログを参照してください。 veryl-lang.org/blog/announci…
Announcing Veryl 0.21.0 | Veryl

Announcing Veryl 0.21.0 | Veryl

The Veryl team has published a new release of Veryl, 0.21.0. Veryl is a new hardware description language as an alternate to SystemVerilog. If you have a previo…

veryl-lang.org
13
1
34
2,394
昨年のHotChips2025で発表したPEZY-SC4sの論文がIEEE Microで出版されました。全部で30件ほどの発表からの7件に選んでいただいて大変光栄です。 （ちなみにすぐ上がGoogle TPUでパターソン先生のお名前が！） ieeexplore.ieee.org/document…
Image from dalance (@dalance1982)
11
1
40
2,075
GitHub上のVerylのファイル数が（シンタックスハイライトの対応条件である）2kを超えました。ただ、メンテナーの方からは「veryl-lang/veryl以下のテストファイルを除くとまだ1.6k」と指摘されているので、実際の目標値は2.5kあたりになります。引き続きご協力お願いします。
13
1
42
5,547
Verylプロジェクトとして公式の寄付先を用意することにしました。現在$10/月くらい自腹で出しているので、ひとまずこのあたりが目標ですが、多く集まった場合でもOpen Source Collectiveで会計を公開する形でVerylのために使う予定です。ぜひご検討ください。 veryl-lang.org/blog/support-…
Support Veryl | Veryl

Support Veryl | Veryl

Veryl is now accepting sponsorships. You can support the project through GitHub Sponsors and Open Collective. Veryl is, and will remain, free and open source. S…

veryl-lang.org
5
15
1,041
#seccamp プロセッサゼミにてVerylを使っていただいているようです。バグ報告もありがとうございます。（なるべく早めに直します…）
Latte72 (@Latte72R) profile pictureLatte72@Latte72RAug 11
#seccamp
Image from Latte72 (@Latte72R)
1
5
38
5,139
VerylのGitHubスターが1kになりました！今後も開発を頑張っていくので、引き続き応援よろしくお願いします。 github.com/veryl-lang/veryl
Image from dalance (@dalance1982)
10
1
49
3,303
SWoPPではすでに研究でVerylを使われている方（発表のうち1件はVerylで実装されたとのことでした）、次の研究テーマからVerylを使ってみたいという方のお話を聞くことができました。研究や教育の分野でもぜひご活用ください。
dalance (@dalance1982) profile picturedalance@dalance1982Aug 4
8/5-7のSWoPP2026にてVerylの発表があります。参加される方はぜひ聴きに来てください。 swopp.github.io/2026/program…
8
1
26
4,447
8/5-7のSWoPP2026にてVerylの発表があります。参加される方はぜひ聴きに来てください。 swopp.github.io/2026/program…
4
3
16
5,320
Veryl v0.20.3をリリースしました。 今回は再利用可能な IP/VIP の構築と共有が中心です。 * ネイティブシミュレータで駆動するRust 製の自作検証コンポーネント * 公式パッケージレジストリ * インターフェースのmixin 詳細は以下のリリースブログを参照してください。 veryl-lang.org/blog/announci…
Announcing Veryl 0.20.3 | Veryl

Announcing Veryl 0.20.3 | Veryl

The Veryl team has published a new release of Veryl, 0.20.3. Veryl is a new hardware description language as an alternate to SystemVerilog. If you have a previo…

veryl-lang.org
6
1
11
2,782
dalance retweeted
Kenta Arai (@isKenta14) profile picture
Kenta Arai@isKenta14Jul 24
書きました．Veryl 便利だよ． Veryl で始める RTL シミュレーション qiita.com/Kenta11/items/8908… #Qiita @isKenta14より
Veryl で始める RTL シミュレーション - Qiita

Veryl で始める RTL シミュレーション - Qiita

はじめに Veryl は新しいハードウェア記述言語であり，SystemVerilog にトランスパイルされます．実は Veryl ではトランスパイラのみならず，Veryl ネイティブのシミュレータも開発されています．このシミュレータは高速化の工夫がなされており，また Ve...

qiita.com
7
12
882
Load more