antmicro / astseeLinks
☆13Updated last month
Alternatives and similar repositories for astsee
Users that are interested in astsee are comparing it to the libraries listed below
Sorting:
- CMake based hardware build system☆29Updated last week
- An open silicon CHERIoT Ibex microcontroller chip☆15Updated last month
- The Scale4Edge ecosystem VP☆10Updated 2 months ago
- ☆19Updated last year
- Constrained RAndom Verification Enviroment (CRAVE)☆17Updated last year
- Open source RTL simulation acceleration on commodity hardware☆28Updated 2 years ago
- RISCV core RV32I/E.4 threads in a ring architecture☆32Updated 2 years ago
- The RTL source for AnyCore RISC-V☆32Updated 3 years ago
- DUTH RISC-V Superscalar Microprocessor☆31Updated 8 months ago
- A library and command-line tool for querying a Verilog netlist.☆27Updated 3 years ago
- Intel Compiler for SystemC☆23Updated 2 years ago
- SystemC UVM verification environment with Constraint Randomized stimulus, Coverage, Assertions☆20Updated 7 months ago
- CHIPKIT: An agile, reusable open-source framework for rapid test chip development☆41Updated 5 years ago
- A Python package for generating HDL wrappers and top modules for HDL sources☆33Updated last week
- The ParaNut Processor - Highly Parallel and More Than Just a CPU Core☆35Updated 2 years ago
- Proposed RISC-V Composable Custom Extensions Specification☆71Updated 2 weeks ago
- SCARV: a side-channel hardened RISC-V platform☆27Updated 2 years ago
- An example OpenCAPI 3.0 FPGA reference design for accelerator endpoint development☆14Updated 2 years ago
- RISCV-VP++ is a extended and improved successor of the RISC-V based Virtual Prototype (VP) RISC-V VP. It is maintained at the Institute f…☆37Updated 3 weeks ago
- Backup: Library implementing a C TLM-2 style to bridge C models to SystemC TLM-2.0 (C++) from GreenSocs (https://git.greensocs.com/tlm/tl…☆17Updated 6 years ago
- This is mainly a simulation library of xilinx primitives that are verilator compatible.☆33Updated last year
- A cycle-accurate RISC-V CPU simulator + RTL modeling library in pure Python.☆15Updated 2 weeks ago
- LLVM based HLS library for HWToolkit (hardware devel. toolkit)☆25Updated 3 weeks ago
- LLM Evaluation Framework for Hardware Design Using Python-Embedded DSLs☆14Updated 10 months ago
- Cross EDA Abstraction and Automation☆39Updated this week
- Extended and external tests for Verilator testing☆16Updated this week
- Source-Opened RISCV for Crypto☆16Updated 3 years ago
- Parendi: Thousand-way Parallel RTL Simulation on the Graphcore IPU☆22Updated last year
- Open-source AMBA CHI infrastructures (supporting Issue B, E.b)☆19Updated last month
- LeWiz Communications Ethernet MAC Core2 10G/5G/2.5G/1G☆39Updated 2 years ago