Highlights
- Pro
-
libertyParser Public
Forked from gilgamsh/libertyParserMirror of Synopsys's Liberty parser library
C Other UpdatedJul 16, 2024 -
Graph-Learning-Reading-List Public
Forked from doujiang-zheng/Graph-Learning-Reading-ListAdvances on machine learning of graphs, covering the reading list of recent top academic conferences.
Jupyter Notebook GNU General Public License v3.0 UpdatedMay 9, 2024 -
The official repository for the gem5 computer-system architecture simulator.
C++ BSD 3-Clause "New" or "Revised" License UpdatedDec 22, 2023 -
oss-fuzz Public
Forked from google/oss-fuzzOSS-Fuzz - continuous fuzzing for open source software.
Shell Apache License 2.0 UpdatedDec 12, 2023 -
core-v-verif Public
Forked from openhwgroup/core-v-verifFunctional verification project for the CORE-V family of RISC-V cores.
Assembly Other UpdatedDec 12, 2023 -
iverilog Public
Forked from steveicarus/iverilogIcarus Verilog
C++ GNU General Public License v2.0 UpdatedDec 11, 2023 -
yices2 Public
Forked from SRI-CSL/yices2The Yices SMT Solver
SMT GNU General Public License v3.0 UpdatedDec 2, 2023 -
CircuitNet Public
Forked from circuitnet/CircuitNetCircuitNet: An Open-Source Dataset for Machine Learning Applications in Electronic Design Automation (EDA)
Python BSD 3-Clause "New" or "Revised" License UpdatedDec 1, 2023 -
taskflow Public
Forked from taskflow/taskflowA General-purpose Parallel and Heterogeneous Task Programming System
C++ Other UpdatedNov 23, 2023 -
FuzzingPaper Public
Forked from wcventure/FuzzingPaperRecent Fuzzing Paper
MIT License UpdatedNov 6, 2023 -
lefdef-python Public
Forked from gilgamsh/lefdef-pythonPython iterface for Cadence LEF/DEF parser.
C++ MIT License UpdatedOct 31, 2023 -
-
symex-vp Public
Forked from agra-uni-bremen/symex-vpA concolic testing engine for RISC-V embedded software with support for SystemC peripherals
C++ GNU General Public License v3.0 UpdatedOct 4, 2023 -
awesome-open-hardware-verification Public
Forked from ben-marshall/awesome-open-hardware-verificationA List of Free and Open Source Hardware Verification Tools and Frameworks
MIT License UpdatedSep 8, 2023 -
riscv-isa-sim Public
Forked from riscv-software-src/riscv-isa-simSpike, a RISC-V ISA Simulator
C Other UpdatedAug 27, 2023 -
-
-
-
-
hw-cbmc Public
Forked from MrWater98/hw-cbmcThe HW-CBMC and EBMC Model Checkers for Verilog
C++ Other UpdatedJul 26, 2023 -
awesome-symbolic-execution Public
Forked from MrWater98/awesome-symbolic-executionA curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
Creative Commons Zero v1.0 Universal UpdatedJul 15, 2023 -
yices_example Public
Forked from MrWater98/yices_exampleThe purpose of this repository is to provide some references for my use of Yices.
Makefile UpdatedJul 12, 2023 -
sv-tests Public
Forked from MrWater98/sv-testsTest suite designed to check compliance with the SystemVerilog standard.
SystemVerilog ISC License UpdatedJun 17, 2023 -
PalmTree Public
Forked from palmtreemodel/PalmTreeOffical Implementation for PalmTree
Python MIT License UpdatedMay 26, 2023 -
so-vits-svc Public
Forked from svc-develop-team/so-vits-svcSoftVC VITS Singing Voice Conversion
Python BSD 3-Clause "New" or "Revised" License UpdatedApr 23, 2023 -
CSCI3150 Public
Forked from henryhxu/CSCI3150Intro to OS, CSE@CUHK, by Hong Xu
C MIT License UpdatedApr 20, 2023 -
I99T Public
Forked from cad-polito-it/I99TITC'99 benchmarks developed in the CAD Group at Politecnico di Torino
VHDL European Union Public License 1.2 UpdatedApr 2, 2023 -
-
avr Public
Forked from MrWater98/avrReads a state transition system and performs property checking
C++ GNU General Public License v3.0 UpdatedFeb 16, 2023 -
force-riscv Public
Forked from openhwgroup/force-riscvInstruction Set Generator initially contributed by Futurewei
C++ Other UpdatedJan 31, 2023