-
-
formal_verif_ecc Public
Formal Verification of RVECC Error Correcting Code Hardware
-
Formally verified "1011" non overlapping sequence detector
SystemVerilog UpdatedAug 8, 2024 -
Formally verified "1011" overlapping sequence detector - Moore FSM
SystemVerilog UpdatedAug 8, 2024 -
-
-
tic_tac_toe Public
Tic Tac Toe Code In Place 2024 Final Project
Python GNU General Public License v3.0 UpdatedJun 16, 2024 -
-
extract_audio Public
Command line tool to extract audio from video files in parallel
-
-
A library of useful, fully parameterized RTL designs implemented in SystemVerilog.
-
Mealy Finite State Machine type overlapping sequence detector of "1011" in SystemVerilog.
-
matrix-creator-init Public
Forked from matrix-io/matrix-creator-initDebian package to initialize MATRIX Creator on boot
Shell UpdatedSep 13, 2021 -
matrixio-kernel-modules Public
Forked from matrix-io/matrixio-kernel-modulesMATRIX HAL in kernel space
C UpdatedSep 13, 2021 -
matrix-creator-malos Public
Forked from matrix-io/matrix-creator-malosMATRIX Creator abstraction for MOS
-
matrix-creator-hal Public
Forked from matrix-io/matrix-creator-halHardware Abstraction Layer for MATRIX Creator & MATRIX Voice
-
7_4_cyclic_encoder_vhdl Public
(7, 4) Cyclic Encoder in VHDL
-
memalloy Public
Forked from johnwickerson/memalloyMemory consistency modelling using Alloy
OCaml MIT License UpdatedDec 16, 2020 -
matrix-voice-fpga Public
Forked from matrix-io/matrix-voice-fpgaHDL code for the MATRIX Voice's Spartan 6 FPGA http://voice.matrix.one
-
TriCheck Public
Forked from ctrippel/TriCheckPython GNU Lesser General Public License v2.1 UpdatedJun 22, 2017