Pinned Repositories
7_4_cyclic_encoder_vhdl
(7, 4) Cyclic Encoder in VHDL
extract_audio
Command line tool to extract audio from video files in parallel
formal_verif_ecc
Formal Verification of RVECC Error Correcting Code Hardware
generic_systemverilog_designs_library
A library of useful, fully parameterized RTL designs implemented in SystemVerilog.
hamming_encoder_decoder_bmc
Hamming Decoder BMC verification
matrix-creator-hal
Hardware Abstraction Layer for MATRIX Creator & MATRIX Voice
matrix-creator-malos
MATRIX Creator abstraction for MOS
matrix-voice-fpga
HDL code for the MATRIX Voice's Spartan 6 FPGA http://voice.matrix.one
overlapping-sequence-detector-1011-mealy-sv
Mealy Finite State Machine type overlapping sequence detector of "1011" in SystemVerilog.
riscv-unified-db
Machine-readable database of the RISC-V specification, and tools to generate various views
ShashankVM's Repositories
ShashankVM/generic_systemverilog_designs_library
A library of useful, fully parameterized RTL designs implemented in SystemVerilog.
ShashankVM/formal_verif_ecc
Formal Verification of RVECC Error Correcting Code Hardware
ShashankVM/7_4_cyclic_encoder_vhdl
(7, 4) Cyclic Encoder in VHDL
ShashankVM/extract_audio
Command line tool to extract audio from video files in parallel
ShashankVM/hamming_encoder_decoder_bmc
Hamming Decoder BMC verification
ShashankVM/matrix-creator-hal
Hardware Abstraction Layer for MATRIX Creator & MATRIX Voice
ShashankVM/matrix-creator-malos
MATRIX Creator abstraction for MOS
ShashankVM/matrix-voice-fpga
HDL code for the MATRIX Voice's Spartan 6 FPGA http://voice.matrix.one
ShashankVM/overlapping-sequence-detector-1011-mealy-sv
Mealy Finite State Machine type overlapping sequence detector of "1011" in SystemVerilog.
ShashankVM/chat-with-ai
ShashankVM/days_until_cooler
ShashankVM/matrix-creator-init
Debian package to initialize MATRIX Creator on boot
ShashankVM/matrixio-kernel-modules
MATRIX HAL in kernel space
ShashankVM/moore_seq_detector_non_overlapping
Formally verified "1011" non overlapping sequence detector
ShashankVM/moore_seq_detector_overlapping
Formally verified "1011" overlapping sequence detector - Moore FSM
ShashankVM/riscv-unified-db
Machine-readable database of the RISC-V specification, and tools to generate various views
ShashankVM/ShashankVM
Personal info
ShashankVM/memalloy
Memory consistency modelling using Alloy
ShashankVM/postfix_evaluation
ShashankVM/tic_tac_toe
Tic Tac Toe Code In Place 2024 Final Project
ShashankVM/TriCheck