Pinned Repositories
8051_verification
Verify 8051 with ILAng interface
ASPDAC-tandem
Barracuda-tests
Concurrency bug suite used by Barracuda
cos484-2021proj
hier_soc
ICCAD22_composition
ILA
Instruction-Level Abstraction
ILA_AES
ILA_PTX
iw_imdb
Forked IMDB for independent work
yuex1994's Repositories
yuex1994/ICCAD22_composition
yuex1994/8051_verification
Verify 8051 with ILAng interface
yuex1994/hier_soc
yuex1994/ILA
Instruction-Level Abstraction
yuex1994/ILA_AES
yuex1994/ILA_PTX
yuex1994/iw_imdb
Forked IMDB for independent work
yuex1994/ASPDAC-tandem
yuex1994/Barracuda-tests
Concurrency bug suite used by Barracuda
yuex1994/cos484-2021proj
yuex1994/CoSA
CoreIR Symbolic Analyzer
yuex1994/DATE2021
DATE 2021 submission for paper "Leveraging Processor Modeling and Verification for General Hardware Modules"
yuex1994/gpgpu-sim_distribution
GPGPU-Sim provides a detailed simulation model of a contemporary GPU (such as NVIDIA's Fermi and GT200 architectures) running CUDA and/or OpenCL workloads and now includes an integrated (and validated) energy model, GPUWattch.
yuex1994/ILA-Synthesis-Engine
Template-based Synthesis Engine of ILA with Python API
yuex1994/ILA_8051
yuex1994/ILA_SHA
yuex1994/iw_ilang
forked ilang for independent work
yuex1994/miaow
An open source GPU based off of the AMD Southern Islands ISA.
yuex1994/NyuziProcessor
GPGPU processor architecture
yuex1994/test_anonymous
yuex1994/verilator
Fork of Verilator with prebuilt Ubuntu binaries (https://www.veripool.org/wiki/verilator)
yuex1994/yuex1994.github.io