Skip to content
View vera-rubin's full-sized avatar
🫨
🫨
1 follower · 1 following

Achievements

Achievement: YOLOAchievement: Pull Sharkx4Achievement: Quickdraw

Achievements

Achievement: YOLOAchievement: Pull Sharkx4Achievement: Quickdraw

Highlights

  • Pro

Block or report vera-rubin

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
vera-rubin/README.md

We find bugs in open-source hardware and software.

Project Found Outcome
LiteDRAM AXI write responses lost under BREADY backpressure credited
LiteDRAM DMA AXI byte addressing and WLAST credited
LiteEth ARP cache returning the wrong MAC address credited
LitePCIe MSI-X upper address and masked interrupts credited
Highway f64 → f32 demotion overflowing on finite values credited
Z3 FP subnormal rounded wrong by roundToIntegral fixed
fast_float from_chars overwriting output on invalid input fixed
STP Nested let scoping fixed
GTKWave vcd2lxt2 storing wrong settled values fixed
tract Signed division by a power of two rounding negatives fixed
BaseJump STL bsg_mul_add_unsigned output width fixed

chiplab-research chiplab.donmakino.com

Popular repositories Loading

  1. retrieval-evaluation-workbench retrieval-evaluation-workbench Public

    Research software for reproducible lexical, semantic, and hybrid retrieval evaluation.

    HTML 1

  2. serv serv Public

    Forked from olofk/serv

    SERV - The SErial RISC-V CPU

    Verilog

  3. neorv32 neorv32 Public

    Forked from stnolting/neorv32

    🖥️ A small, customizable and extensible MCU-class 32-bit RISC-V soft-core CPU and microcontroller-like SoC written in platform-independent VHDL.

    VHDL

  4. vera-rubin vera-rubin Public

  5. arpack-ng arpack-ng Public

    Forked from opencollab/arpack-ng

    Collection of Fortran77 subroutines designed to solve large scale eigenvalue problems.

    Fortran

  6. candle candle Public

    Forked from huggingface/candle

    Minimalist ML framework for Rust

    Rust