berkeley-abc/abc
@berkeley-abcABC:順序論理合成および形式検証のためのシステム
スター
1,216
フォーク
785
言語
C
ライセンス
NOASSERTION
最終プッシュ
1 週間前
関連 Intel(0)
関連 Intel はまだありません
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。
ABC:順序論理合成および形式検証のためのシステム
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。