Static netlist verification for IBM high-frequency processors using a tree-grammar | IEEE Conference Publication | IEEE Xplore