メインコンテンツへスキップ
buildradar
ログイン

berkeley-abc/abc

@berkeley-abc

ABC:順序論理合成および形式検証のためのシステム

スター
1,216
フォーク
785
言語
C
ライセンス
NOASSERTION
最終プッシュ
1 週間前
C

関連 Intel はまだありません

このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。