Pinned Loading

1. uclid-org/uclid uclid-org/uclid Public

   UCLID5: formal modeling, verification, and synthesis of computational systems

   Scala 136 32

2. pyclid pyclid Public

   Python wrapper for UCLID5

   Python 2

3. ccs2024-sempat ccs2024-sempat Public

   Companion artifact for CCS'24 Paper: SemPat: Using Hyperproperty-based Semantic Analysis to Generate Microarchitectural Attack Patterns

   Scala

4. IntelLabs/pycaliper IntelLabs/pycaliper Public

   PyCaliper is Python-based tooling infrastructure that allows the verification and synthesis of specifications (properties) for RTL (e.g., Verilog, SystemVerilog)

   Python 10