search

aolofsson / awesome-opensource-hardware

List of awesome open source hardware tools, generators, and reusable designs
MIT License
1.86k stars 167 forks source link

Add links to AutoSVA, AutoCC and MuchiSim #47

Closed morenes closed 9 months ago

morenes commented 9 months ago

This PR adds the links of: AutoSVA: A tool which generates FV testbenches and SVA properties for RTL modules based on interface annotations and a GPT4-based flow (https://ieeexplore.ieee.org/document/9586118)

MuchiSim: A simulator framework for analysis of perf, energy, area and cost of distributed multi-chiplet tile-based manycore designs

AutoCC: Methodology that leverages FPV to automatically discover covert channels in hardware that is time-shared between processes. AutoCC operates at RTL to exhaustively examine any machine state left by a process after a context switch that creates an execution difference. (https://trustworthy.systems/publications/papers/Orenes-Vera_YWHBWM_23.pdf)

Thanks for compiling this list!

aolofsson commented 9 months ago

Wow, this is awesome work! Thanks for letting me know!