Arcilator Waveform Viewer

Explore SystemVerilog simulation with CIRCT's Arcilator. View the compilation pipeline: SV → MLIR → Arc → LLVM → VCD waveforms.

Sample Test Suite UVM 1.38 CIRCT Arcilator
Chapter 16 — Assertions 16 tests
16.2--assert-uvm
chapter-16/
✓ Pass
16.2--assume-uvm
chapter-16/
✓ Pass
16.7--sequence-uvm
chapter-16/
✓ Pass
16.9--sequence-stable-uvm
chapter-16/
✓ Pass
16.10--property-local-var-uvm
chapter-16/
✓ Pass
16.10--sequence-local-var-uvm
chapter-16/
✓ Pass
16.11--sequence-subroutine-uvm
chapter-16/
✓ Pass
16.12--property-uvm
chapter-16/
✓ Pass
16.12--property-prec-uvm
chapter-16/
✓ Pass
16.12--property-interface-uvm
chapter-16/
✓ Pass
16.12--property-interface-prec-uvm
chapter-16/
✓ Pass
16.13--sequence-multiclock-uvm
chapter-16/
✓ Pass
16.14--assume-property-uvm
chapter-16/
✓ Pass
16.15--property-iff-uvm
chapter-16/
✓ Pass
16.15--property-iff-uvm-fail
chapter-16/
✓ Pass
16.17--expect-uvm
chapter-16/
✓ Pass