zuspec-arl-eval (pypi): Core ARL data model library
Keywords: SystemVerilog|Verilog|RTL|Python