zsxpdsyz

Pinned Repositories

conquest
A concolic testing framework for directed test generation at RTL
Language:Verilog22
-
Language:MATLAB00
asplos24-aec-lifting
Language:Verilog0 0 00
conquest
A concolic testing framework for directed test generation at RTL
Language:Verilog00
cs231n
Language:Jupyter Notebook10
non-local-self-similarity
Language:MATLAB4 1 02
python-plot
python画图脚本
Language:Python00
RTL-Contest
Concolic Testing on RTL for Detecting Security Vulnerabilities
Language:Python10
Sylvia_old
hardware symbolic execution engine in Python
Language:Verilog10
TrojanWars
TrojanWars🐎 - Test Generation for activation of malicious hardware implants
Language:C00

zsxpdsyz's Repositories

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