Christoph Jäschke, Ulla Herter, Claudia Wolkober, Carsten Schmitt, Christian G. Zoellin. Static netlist verification for IBM high-frequency processors using a tree-grammar. In David Atienza, Giorgio Di Natale, editors, Design, Automation & Test in Europe Conference & Exhibition, DATE 2017, Lausanne, Switzerland, March 27-31, 2017. pages 1552-1557, IEEE, 2017. [doi]
Abstract is missing.