dalance (@dalance1982) profile picture

dalance

@dalance1982

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

Joined July 2015
  • Tweets386
  • Following2
  • Followers466
24Media
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)
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値評価周りのバグが見つかっており、役に立ちそうです。
19
46
2,531
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
439
こちらを参考に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,745
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
904
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
468
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
616
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
357
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
974
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,386
昨年のHotChips2025で発表したPEZY-SC4sの論文がIEEE Microで出版されました。全部で30件ほどの発表からの7件に選んでいただいて大変光栄です。 （ちなみにすぐ上がGoogle TPUでパターソン先生のお名前が！） ieeexplore.ieee.org/document…
Image from dalance (@dalance1982)
11
1
40
2,067
GitHub上のVerylのファイル数が（シンタックスハイライトの対応条件である）2kを超えました。ただ、メンテナーの方からは「veryl-lang/veryl以下のテストファイルを除くとまだ1.6k」と指摘されているので、実際の目標値は2.5kあたりになります。引き続きご協力お願いします。
13
1
42
5,540
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,036
#seccamp プロセッサゼミにてVerylを使っていただいているようです。バグ報告もありがとうございます。（なるべく早めに直します…）
Latte72 (@Latte72R) profile pictureLatte72@Latte72RAug 11
#seccamp
Image from Latte72 (@Latte72R)
1
5
38
5,134
VerylのGitHubスターが1kになりました！今後も開発を頑張っていくので、引き続き応援よろしくお願いします。 github.com/veryl-lang/veryl
Image from dalance (@dalance1982)
10
1
49
3,297
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,442
8/5-7のSWoPP2026にてVerylの発表があります。参加される方はぜひ聴きに来てください。 swopp.github.io/2026/program…
4
3
16
5,312
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,776
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
875
Verylのパッケージを共有したり検索したりするための公式レジストリを公開しました。次のリリースあるいはnightlyのverylコマンドを使ってレジストリへの登録が可能です。共有したいVerylのコードをお持ちの方はぜひご登録ください。 veryl-lang.org/blog/official…
Official package registry | Veryl

Official package registry | Veryl

We have launched the official Veryl package registry at registry.veryl-lang.org. It is a place to discover published Veryl packages and browse their generated d…

veryl-lang.org
4
11
1,069
Verylのネイティブシミュレータ向け検証コンポーネントをRustで書けるようになりました。8月頭のリリース予定ですが、最新のnightlyビルドで試すことができます。 veryl-lang.org/blog/verifica…
Verification components in Rust | Veryl

Verification components in Rust | Veryl

A heads-up ahead of the release: verification components are a major new feature, not in a stable release yet but arriving in the next version, due in early Aug…

veryl-lang.org
6
2
13
2,504
Load more