ruochendai78 Goto Github PK

2021_hackdac_phase1

abc

ABC: System for Sequential Logic Synthesis and Formal Verification

afl

american fuzzy lop - a security-oriented fuzzer

awesome-fuzzing

A curated list of awesome Fuzzing(or Fuzz Testing) for software security

books

无它术，唯勤读书而多为之，自工

coppelia

Code repository for Coppelia tool

cpp_study

follow me to study modern c++

cppprimer

:books: Solutions for C++ Primer 5th exercises.

difuzz-rtl

dtjrtl

eee5716_intro_to_hardware_securityring-oscillator-puf-design-and-optimization-for-fpga

In this paper, a series of Ring Oscillators has been wired in different ways to form Ring Oscillator PUFs to find out the RO PUF which has a better quality. Thus, three different routing methods are proposed and developed , software automatic routing design, 1D and 2D hard-macro array design. And the quality factors including uniqueness, reliability and uniformity are analyzed

eee6323_avlsi_32_bit_mips

This project implements a 32-bit MIPS processor with forwarding and hazard detection module

eel5721_reconfigurable_computing_1d_time_domain_convolution

In this report, we implement an accelerated convolution calculator based on Xilinx Zynq. We divide whole process into 4 key steps(DRAM read/write Interface, Convolution Pipeline, Smart Buffer and Kernel Buffer)

hackdac_2018_beta

The SoC used for the beta phase of Hack@DAC 2018.

hw-cbmc

The HW-CBMC and EBMC Model Checkers for Verilog

iflow

IFLOW: Customizable Static Taint Analysis

json

JSON for Modern C++

klee

KLEE Symbolic Execution Engine

kleefl

Seeding fuzzers with symbolic execution

kleespectre

KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling

ldd3

Linux Device Drivers 3 examples updated to work in recent kernels

llvm-ir-tutorial

LLVM IR入门指南

msp430-emulator

Providing a software model of the TI MSP430

oruguitas

prompt

PROMPT: API model guided symbolic execution for component-level analysis

pyverilog

Python-based Hardware Design Processing Toolkit for Verilog HDL

qutertl

QuteRTL: A RTL Front-End Towards Intelligent Synthesis and Verification

runoob-pdf-

爬取菜鸟教程网站并转PDF__python_crawer_by_chrome

spinalhdl

Scala based HDL

sudoku-solver

Sudoku Solving With Backtracking and SMT Solver in C