VCDファイルから、指定された信号が変化した時刻と値を抜き出す

check_vcd_var.py

import sys

if __name__ == '__main__':
    if len(sys.argv) < 3:
        print("usage: {} vcd target".format(sys.argv[0]))
        sys.exit(0)
        
    vcd = sys.argv[1]
    target = sys.argv[2]
    
    print(vcd)
    print(target)
    
    lines = []
    symbol = ''
    t = 0
    
    with open(vcd) as f:
        for line in f:
            s = line.strip()
            d = s.split()
            if d[0] == '$var' and d[4] == target:
                symbol = d[3]
                print(target, symbol, len(symbol))
            elif len(d) == 1 and d[0][0] == '#':
                t = int(d[0][1:])
            else:
                if(s[-(len(symbol)):] == symbol):
                    print(target, t, s[:-(len(symbol))])