zsxpdsyz's repositories
RTL-Contest
Concolic Testing on RTL for Detecting Security Vulnerabilities
Sylvia_old
hardware symbolic execution engine in Python
Centroid-algorithm
质心法（GPU）
conquest
A concolic testing framework for directed test generation at RTL
cpp-prog
cs106l course code
IRCNN
Learning Deep CNN Denoiser Prior for Image Restoration (CVPR, 2017) (Matlab)
mobilenetv3
mobilenetv3 with pytorch，provide pre-train model
MobileNetV3-SSD
MobileNetV3-SSD for object detection and implementation in PyTorch
MSWNNM
Multi-Scale Weighted Nuclear Norm Image Restoration
python-plot
python画图脚本
Sylvia
hardware symbolic execution engine in Python
TrojanWars
TrojanWars🐎 - Test Generation for activation of malicious hardware implants
Window-in-window
实现图中套放大的小图
noise2noise-pytorch
PyTorch Implementation of Noise2Noise (Lehtinen et al., 2018)
Picture-in-picture
用于论文中画中画作图，放大图片的局部位置并放在角落处。
rtlv
Tools for reasoning about circuits in Rosette/Racket 🔌
symex_processor_verification
hardware verification with firstly translate to C++ and then using KLEE symbolic execution.
YosysFlatten
Flatten RTL hierarchy designs with Yosys
zsxpdsyz.github.io
Build a Jekyll blog in minutes, without touching the command line.