Lib.rs

› 硬件支持
#bit-vector #smt #rtl #model-checking #btor

libpatron

硬件缺陷查找工具包

由 Kevin Laeufer

50 个版本 (15 个破坏性版本)

0.17.3 2024 年 5 月 13 日
0.16.0 2024 年 1 月 6 日
0.14.0 2023 年 12 月 18 日
0.1.0 2023 年 9 月 5 日

#207 在 硬件支持

Download history 419/week @ 2024-05-10 61/week @ 2024-05-17 7/week @ 2024-05-24 8/week @ 2024-05-31 5/week @ 2024-06-07

每月下载量 3,321

BSD-3-Clause

2MB
6.5K SLoC

Patron

依赖项

~3–11MB
~96K SLoC