Cited By
View all- Jäschke CHerter UWolkober CSchmitt CZoellin C(2017)Static netlist verification for IBM high-frequency processors using a tree-grammarProceedings of the Conference on Design, Automation & Test in Europe10.5555/3130379.3130742(1556-1561)Online publication date: 27-Mar-2017