🔧 Hardware Verification - matmat · Scour

StepPRM-RTL: Stepwise Process-Reward Guided LLM Fine-Tuning for Enhanced RTL Synthesis

⚡Circuit Design Academic

Vortex 3.0 Released As Full-Stack, Open-Source RISC-V GPU Now With 3D Pipeline

⚙️Modern Assembly

Founding Engineer - FPGA, RTL, & ASIC Architect at Zettascale

⚙️Logic Synthesis

ycombinator.com··Hacker News

RTL-SDR Now Runs on iPad M-Series Devices Directly via USB Without Jailbreak

🧪Hardware Fuzzing

Aviation enthusiast uses Raspberry Pi and ABS-B radio to create viral real-time airport tracker — open-source 'Skylight' intercepts aircraft signals and projects flight paths onto your ceiling

🔌Single Board PC

tomshardware.com

·

RTL-BenchLS: A Large-Scale Benchmark for RTL Reasoning and Generation with Large Language Models

🧪Hardware Fuzzing Academic

KDE Plasma 6.7 Gets More Polish Ahead of Release

📄Document Digitization

LongRTL: Graph-Similarity-Guided LLM-driven Long Context RTL Optimization

🧪Hardware Fuzzing Academic

Dump1090 For Android Updated to V2

🧪Hardware Fuzzing

Programming Domain-Specific FPGA Hardblocks from HLS: An RTL Blackbox Approach

⚙️Logic Synthesis Academic

Further Tutorials on SatDump Map Projections

🧪Hardware Fuzzing

Receiving US Nuclear Detection Satellite Signals with RTL-SDR, Discovery Dish and Discovery Drive

🧪Hardware Fuzzing

RTLScout: Joint Agentic Code and Synthesis Optimization for Efficient Digital Circuits

🧪Hardware Fuzzing Academic

iq_tool: A Command Line Tool for Resampling, Filtering, Shifting and Correcting IQ Data Streams

🧪Hardware Fuzzing

PALUTE: Processing-In-Memory Acceleration via Lookup Table for Edge LLM Inference

🎯Emulator Accuracy Academic

SkyLight Ceiling: Projecting Live ADS-B Aircraft Positions Onto your Ceiling

🧪Hardware Fuzzing

Alpha-RTL: Test-Time Training for RTL Hardware Optimization

🧪Hardware Fuzzing Academic

CASS-RTL: Correctness-Aware Subspace Steering for RTL Generation with LLMs

🧪Hardware Fuzzing Academic

ITCMON: Interoperable Train Control Monitoring Software Released

🧪Hardware Fuzzing

GoldenFloat: A Phi-Derived Static-Split Floating-Point Family from GF4 to GF256 with a Lucas-Exact Integer Identity

⚙️Logic Synthesis Academic

No more posts from matmat's subscribed feeds.

Scour all 25255 feeds Learn more about Feeds

Log in to enable infinite scrolling