jay16udani / ECE745_LC3_VerificationView external linksLinks
North Carolina State University: ECE 745 : Project: LC3 Microcontroller Functional Verification using SystemVerilog
β11Jun 5, 2017Updated 8 years ago
Alternatives and similar repositories for ECE745_LC3_Verification
Users that are interested in ECE745_LC3_Verification are comparing it to the libraries listed below
Sorting:
- Comprehensive verification suite for the AHB2APB Bridge design, featuring SystemVerilog and UVM-based methodologies. ππβ46Mar 3, 2024Updated last year
- β15Sep 27, 2022Updated 3 years ago
- Verification of DMA Controller for 8086 Microprocessor Systems using OO Test benchβ16Jun 24, 2020Updated 5 years ago
- An UVM example of UARTβ20Aug 31, 2020Updated 5 years ago
- β26Mar 19, 2021Updated 4 years ago
- Assertion-Based Formal Verification of an AHB2APB bridge, featuring SystemVerilog assertions, RTL designs, and detailed documentation incβ¦β28Mar 23, 2024Updated last year
- β11May 31, 2016Updated 9 years ago
- β26Sep 3, 2020Updated 5 years ago
- Reconfigurable Computing Lab, DESE, Indian Institiute of Scienceβ32Jun 22, 2024Updated last year
- RISCV-VP++ is a extended and improved successor of the RISC-V based Virtual Prototype (VP) RISC-V VP. It is maintained at the Institute fβ¦β48Updated this week
- β44Jul 20, 2023Updated 2 years ago
- βοΈ Port of RISCOF to check NEORV32 for RISC-V ISA compatibility.β38Feb 3, 2026Updated last week
- Implemented an ultrasonic sensor to measure and visualize distances on the FPGA 7-seg Display and LEDs.β12Dec 5, 2019Updated 6 years ago
- my UVM training projectsβ39Mar 14, 2019Updated 6 years ago
- A MIPS CPU with dual-issue, out-of-order, and 5-stage pipelinesβ11Nov 28, 2019Updated 6 years ago
- Automated UVM testbench generator from Verilog RTL with optional LLM integration for advanced logic creation.β17Oct 21, 2025Updated 3 months ago
- RISC-V Single-Cycle Processor Integrated With a Cache Memory System From RTL To GDSβ11Aug 26, 2024Updated last year
- β10Mar 19, 2025Updated 10 months ago
- MAC system with IEEE754 compatibilityβ13Nov 22, 2023Updated 2 years ago
- Modular Verilog PCIexpress Interface Components with complete MyHDL Testbench for FPGA deploymentβ14Sep 17, 2019Updated 6 years ago
- YosysHQ SVA AXI Propertiesβ44Feb 7, 2023Updated 3 years ago
- TUM EI7402 SystemC laboratory assignmentsβ11Aug 10, 2021Updated 4 years ago
- Design and UVM Verification of an ALUβ10Jun 14, 2024Updated last year
- STM32 RFID Reader / Writerβ16May 24, 2014Updated 11 years ago
- Benchmarking execution time of AlexNet CNN on FPGA and GPU. Developed AlexNet in opencl.β11Oct 9, 2019Updated 6 years ago
- RISCulator is a RISC-V emulator.β12Aug 18, 2023Updated 2 years ago
- Dual-core 16-bit RISC processorβ11Jul 21, 2024Updated last year
- UART cocotb moduleβ11Jun 30, 2021Updated 4 years ago
- Source code & scripts for experimental characterization and demonstration of 1) simultaneous many-row activation, 2) up to nine-input majβ¦β11May 17, 2024Updated last year
- Perceptron-based branch predictor written in C++β12Dec 14, 2016Updated 9 years ago
- The purpose of the repo is to support CORE-V Wally architectural verificationβ17Nov 11, 2025Updated 3 months ago
- Multimedia SoC Design with Specialization on Application Acceleration with High-Level-Synthesis [2020 Fall]β12Jun 15, 2021Updated 4 years ago
- This repository implements a scaled-down LLaMA 2-like model on an ARM Cortex-M3 soft core, with a custom systolic array RTL module for efβ¦β11Jun 25, 2025Updated 7 months ago
- Low-level protocol library for communicating with Microchip CMSIS-DAP based debuggersβ16Jun 19, 2024Updated last year
- Wishbone to ARM AMBA 4 AXIβ16May 25, 2019Updated 6 years ago
- UCSD CSE240A Project: Branch Predictorβ11Jul 24, 2017Updated 8 years ago
- tool for converting vcd(value change dump) to ate pattern.β11Oct 22, 2015Updated 10 years ago
- β17Dec 16, 2025Updated last month
- Copy Word tables to Excelβ10May 14, 2024Updated last year