isec-tugraz / coco-almaLinks
CocoAlma is an execution-aware tool for formal verification of masked implementations
β23Updated last year
Alternatives and similar repositories for coco-alma
Users that are interested in coco-alma are comparing it to the libraries listed below
Sorting:
- The SpinalHDL design of the Proteus core, an extensible RISC-V core.β58Updated last week
- Microarchitectural control flow integrity (πCFI) verification checks whether there exists a control or data flow from instruction's opeβ¦β15Updated 4 months ago
- Integer Multiplier Generator for Verilogβ23Updated 3 months ago
- Testing processors with Random Instruction Generationβ47Updated 2 weeks ago
- HW Design Collateral for Caliptra RoT IPβ113Updated this week
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations madeβ¦β89Updated last year
- The Common Evaluation Platform (CEP), based on UCB's Chipyard Framework, is an SoC design that contains only license-unencumbered, freelβ¦β66Updated 2 years ago
- Side-channel analysis setup for OpenTitanβ37Updated last month
- Hardware Formal Verificationβ16Updated 5 years ago
- A concolic testing engine for RISC-V embedded software with support for SystemC peripheralsβ26Updated 2 years ago
- SCARV: a side-channel hardened RISC-V platformβ27Updated 2 years ago
- SCARV: a side-channel hardened RISC-V platformβ22Updated 4 years ago
- β13Updated 5 years ago
- YosysHQ SVA AXI Propertiesβ43Updated 2 years ago
- A list of VHDL codes implementing cryptographic algorithmsβ27Updated 3 years ago
- β10Updated 4 years ago
- β80Updated last year
- Mutation Cover with Yosys (MCY)β88Updated last week
- Technology dependent cells instantiated in the design for generic process (simulation, FPGA)β67Updated last month
- VexRiscv reference platforms for the pqriscv projectβ16Updated last year
- A Modular Open-Source Hardware Fuzzing Frameworkβ36Updated 3 years ago
- β24Updated 6 months ago
- β23Updated 4 years ago
- [HISTORICAL] A Lightweight (RISC-V) ISA Extension for AES and SM4β36Updated 4 years ago
- C/Assembly macros for talking with Rocket Custom Coprocessors (RoCCs)β53Updated 5 years ago
- Universal Verification Methodology (UVM) base libraries, with edits for Verilatorβ26Updated 2 weeks ago
- β19Updated last year
- IOPMP IPβ20Updated 3 months ago
- Implementation of the Advanced Encryption Standard in Chiselβ19Updated 3 years ago
- SystemVerilog & Verilog Module I/O parser and printerβ25Updated 4 years ago