Verilua
An Open Source Versatile Framework for Efficient Hardware Verification and Analysis Using LuaJIT
Key Features
Hardware Verification Language (HVL)
Use Lua as a powerful HVL with LuaJIT's exceptional performance. Write verification components with coroutine-based concurrency, no recompilation needed for logic changes.
Hardware Script Engine (HSE)
Embed Verilua into existing simulation frameworks via VPI. Non-intrusive debugging, real-time signal monitoring, and dynamic performance analysis without RTL modifications.
Waveform Analysis Language (WAL)
Automate waveform analysis with Lua scripts. Support for VCD, FST, and FSDB formats. Reuse HVL/HSE components for efficient wave debugging.
Why Verilua?
⚡ High Performance
Powered by LuaJIT, one of the fastest scripting language implementations, delivering superior performance compared to Python-based alternatives.
🔄 Component Reuse
Write verification components once, use them across HVL, HSE, and WAL scenarios. No modifications needed for cross-platform reuse.
🛠️ Easy Integration
Seamlessly integrates with popular simulators through VPI. Works with Verilator, VCS, and Icarus Verilog.
Proven in Production
Verilua has been successfully used in the verification of XiangShan processor's cache subsystem (L2/L3 Cache), demonstrating its effectiveness in real-world high-performance processor verification.