Package ru.ispras.verilog.parser.sva.util