Static netlist verification for IBM high-frequency processors using a tree-grammar.

Christoph Jschke, Ulla Herter, Claudia Wolkober, Carsten Schmitt, Christian G. Zoellin

Browse the full DATE paper archive.