I'm trying to load an FST but get the following error:

>-> (load "sim_no_pfb_match.fst" "waves")
'utf-8' codec can't decode byte 0x83 in position 14: invalid start byte
(load "sim_no_pfb_match.fst" "waves")

The FST loads into gtkwave without issue so is there anything I can do to help debug this?

I am playing around with the tool and wanted to do some analysis of my simulations of the BOOM core. I simulated the core using Chipyard and Synopsys VCS and get the according vpd files, which I can't load into WAL (throwing following error message)

'utf-8' codec can't decode byte 0xd5 in position 21: invalid continuation byte

It is possible to convert it to a vcd file by using vpd2vcd but since it is less compressed the vcd files become really large(e.g. 27 MB converted to 2.2 GB)

Is there a possibility to use vpd files without converting to vcd?

Best regards, Alex

When I try to access a sliced part of a 32bit signal (e.g. inst[11:7]) I get the following error:

Traceback (most recent call last):
  File "/home/eyck/tmp/wal/.wal/bin/wawk", line 33, in <module>
    sys.exit(load_entry_point('wal-lang', 'console_scripts', 'wawk')())
  File "/home/eyck/git/wal/wawk/wawk.py", line 70, in run
    wal.eval(statement.action)
  File "/home/eyck/git/wal/wal/core.py", line 43, in eval
    return self.eval_context.eval(sexpr)
  File "/home/eyck/git/wal/wal/eval.py", line 93, in eval
    res = self.eval_dispatch(head, tail)
  File "/home/eyck/git/wal/wal/eval.py", line 44, in eval_dispatch
    return self.dispatch.get(oprtr.value, lambda a, b: NotImplementedError())(self, args)
  File "/home/eyck/git/wal/wal/implementation/core.py", line 290, in op_do
    return seval.eval_args(args)[-1]
  File "/home/eyck/git/wal/wal/eval.py", line 40, in eval_args
    return list(map(self.eval, args))
  File "/home/eyck/git/wal/wal/eval.py", line 93, in eval
    res = self.eval_dispatch(head, tail)
  File "/home/eyck/git/wal/wal/eval.py", line 44, in eval_dispatch
    return self.dispatch.get(oprtr.value, lambda a, b: NotImplementedError())(self, args)
  File "/home/eyck/git/wal/wal/implementation/core.py", line 239, in op_if
    return seval.eval(args[1])
  File "/home/eyck/git/wal/wal/eval.py", line 93, in eval
    res = self.eval_dispatch(head, tail)
  File "/home/eyck/git/wal/wal/eval.py", line 44, in eval_dispatch
    return self.dispatch.get(oprtr.value, lambda a, b: NotImplementedError())(self, args)
  File "/home/eyck/git/wal/wal/implementation/core.py", line 290, in op_do
    return seval.eval_args(args)[-1]
  File "/home/eyck/git/wal/wal/eval.py", line 40, in eval_args
    return list(map(self.eval, args))
  File "/home/eyck/git/wal/wal/eval.py", line 93, in eval
    res = self.eval_dispatch(head, tail)
  File "/home/eyck/git/wal/wal/eval.py", line 44, in eval_dispatch
    return self.dispatch.get(oprtr.value, lambda a, b: NotImplementedError())(self, args)
  File "/home/eyck/git/wal/wal/implementation/core.py", line 194, in op_set
    res = seval.eval(arg[1])
  File "/home/eyck/git/wal/wal/eval.py", line 93, in eval
    res = self.eval_dispatch(head, tail)
  File "/home/eyck/git/wal/wal/eval.py", line 44, in eval_dispatch
    return self.dispatch.get(oprtr.value, lambda a, b: NotImplementedError())(self, args)
  File "/home/eyck/git/wal/wal/implementation/core.py", line 91, in op_neq
    evaluated = seval.eval_args(args)
  File "/home/eyck/git/wal/wal/eval.py", line 40, in eval_args
    return list(map(self.eval, args))
  File "/home/eyck/git/wal/wal/eval.py", line 93, in eval
    res = self.eval_dispatch(head, tail)
  File "/home/eyck/git/wal/wal/eval.py", line 44, in eval_dispatch
    return self.dispatch.get(oprtr.value, lambda a, b: NotImplementedError())(self, args)
  File "/home/eyck/git/wal/wal/implementation/core.py", line 609, in op_slice
    return (evaluated[0] & (((1 << (upper - lower + 1)) - 1) << lower)) >> lower
ValueError: negative shift count

When running the following script

BEGIN: {
    // import python file for access to riscvmodel lib
    import(extern);
    icnt=0;
    lastclkcnt=0;
    clkcnt=0;
    printed=0;
    ilen = 0;
    // create some aliases for shorter signal names
    alias(clk, tb.adapter.core.TGC_C.clk);
    alias(reset, tb.adapter.core.TGC_C.reset);
    alias(trap, tb.adapter.core.TGC_C.core_trace_exc_o);
    alias(valid, tb.adapter.core.TGC_C.core_trace_valid_o);
    alias(instr, tb.adapter.core.TGC_C.core_trace_instr_o);
    alias(pc, tb.adapter.core.TGC_C.core_trace_pc_o);
    alias(reg_addr, tb.adapter.core.TGC_C.core_trace_reg_addr_o);
    alias(reg_val, tb.adapter.core.TGC_C.core_trace_reg_val_o);
    alias(reg_wr, tb.adapter.core.TGC_C.core_trace_reg_wr_o);
}
clk, valid: {
    if(printed==0) {
        icnt=icnt+1;
        delay=(clkcnt-lastclkcnt)/2;
        lastclkcnt=clkcnt;
        op = call(extern.decode, instr);
        shifted = instr/128;
        was_call = shifted[4:0]!=0 && (op == "jal" || op == "jalr");
        ilen = 2;
        if (instr[1:0]==3)
          ilen = 4;
        printf("0x%x, %d, %d, %d, 0x%x, %s\n", pc, delay, ilen, was_call, instr, op);
        printed = 1;
    } else
        printed = 0;
}
clk, !reset: {
    clkcnt=clkcnt+1;
}
END: {
    printf("%f (%d/%d)\n", icnt/clkcnt, icnt, clkcnt);
}

on a vcd file I get in 2 consecutive runs

(.wal) eyck$:~/tmp/wal$ wawk cpi.wawk ../vtgc_tb_xlevel.vcd
0x20, 3, 4, 1, 0x297, auipc
0x24, 1, 4, 1, 0xc028293, addi
0x28, 1, 4, 0, 0x30529073, csrrw
0x2c, 1, 4, 1, 0x2a00093, addi
0x30, 1, 4, 1, 0x2a00113, addi
0x34, 1, 4, 1, 0x2a00193, addi
0x38, 1, 4, 1, 0x200513, addi
0x3a, 1, 4, 1, 0x300a13, addi
0x3e, 1, 4, 1, 0x700f93, addi
0x40, 1, 4, 0, 0x43507b, 4411515
0.000000 (10/28)
(.wal) eyck$:~/tmp/wal$ wawk cpi.wawk ../vtgc_tb_xlevel.vcd
0x20, 3, 4, 0, 0x297, auipc
0x24, 1, 4, 0, 0xc028293, addi
0x28, 1, 4, 0, 0x30529073, csrrw
0x2c, 1, 4, 0, 0x2a00093, addi
0x30, 1, 4, 0, 0x2a00113, addi
0x34, 1, 4, 0, 0x2a00193, addi
0x38, 1, 4, 0, 0x200513, addi
0x3a, 1, 4, 0, 0x300a13, addi
0x3e, 1, 4, 0, 0x700f93, addi
0x40, 1, 4, 0, 0x43507b, 4411515
0.000000 (10/28)

Updated the wawk grammar in a way where semicolon usage is now more consistent:

• there are no longer weird cases where some "{" blocks "}" require a semicolon after them, while others do not: now none of them require semicolons, but they (as well as other statements) can have as many semicolons after them as they like
• BREAKING CHANGE: if/else statements that DO NOT use blocks but one-line statements instead, now require semicolons for each statement, and not just the last one.

Addresses #2, where a non-precise grammar caused non-deterministic (and incorrect) parsing behavior.

Previous pull request was thought to fix the issue due to faulty tests, but this time it actually fixed the issue correctly as far as I can tell.

When installing wal using pip on a CentOS7 OS and runnign wawk I get:

Traceback (most recent call last):
File "/home/xxx/git/TGC-UVM/riscv-dv-venv/bin/wawk", line 5, in <module>
from wawk.wawk import run
File "/home/xxx/git/TGC-UVM/riscv-dv-venv/lib64/python3.6/site-packages/wawk/[wawk.py](http://wawk.py/)", line 6, in <module>
from wal.core import Wal
File "/home/xxx/git/TGC-UVM/riscv-dv-venv/lib64/python3.6/site-packages/wal/[core.py](http://core.py/)", line 7, in <module>
from wal.eval import SEval
File "/home/xxx/git/TGC-UVM/riscv-dv-venv/lib64/python3.6/site-packages/wal/[eval.py](http://eval.py/)", line 2, in <module>
from wal.ast_defs import Operator, Symbol, ExpandGroup
File "/home/xxx/git/TGC-UVM/riscv-dv-venv/lib64/python3.6/site-packages/wal/ast_[defs.py](http://defs.py/)", line 2, in <module>
from dataclasses import dataclass
ModuleNotFoundError: No module named 'dataclasses'

After running pip3 install dataclasses everything works fine.

Hi,

you seem to be depending on a broken version of vcdvcd.py. After pip installing wal-lang, I get the following error:

(.venv) [email protected]:~/git/wal$ wal
Traceback (most recent call last):
  File "/home/shareefj/git/wal/.venv/bin/wal", line 5, in <module>
    from wal.wal import run
  File "/home/shareefj/git/wal/.venv/lib/python3.10/site-packages/wal/wal.py", line 7, in <module>
    from wal.core import Wal
  File "/home/shareefj/git/wal/.venv/lib/python3.10/site-packages/wal/core.py", line 6, in <module>
    from wal.trace import TraceContainer
  File "/home/shareefj/git/wal/.venv/lib/python3.10/site-packages/wal/trace.py", line 5, in <module>
    from vcdvcd import VCDVCD, StreamParserCallbacks
  File "/home/shareefj/git/wal/.venv/lib/python3.10/site-packages/vcdvcd/__init__.py", line 1, in <module>
    from .vcdvcd import *
  File "/home/shareefj/git/wal/.venv/lib/python3.10/site-packages/vcdvcd/vcdvcd.py", line 355, in <module>
    class Scope(collections.MutableMapping):
AttributeError: module 'collections' has no attribute 'MutableMapping'

and it looks like at some point they've tried to fix this: https://github.com/cirosantilli/vcdvcd/commit/9c9b7c1aaa7a6bcc4e254e3557cc00a9ec1c7bd0