Ulla Herter

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 2

Top Topics

Wavelet Decomposition

Database Interface

Verification Method

High Frequencies

Top Venues

Publications

Christoph Jäschke, Ulla Herter, Claudia Wolkober, Carsten Schmitt, Christian G. Zoellin
Static netlist verification for IBM high-frequency processors using a tree-grammar. DATE (2017)
Carsten Schmitt, Christoph Jäschke, Claudia Wolkober, Ulla Herter
Connecting a C++ based Structural Verification Tool to the Web. MBMV (2016)
Christoph Jäschke, Carsten Schmitt, Ulla Herter, Tobias Wich, Jochen Rust
Strukturelle Verifikation mittels parser-gesteuerter Netzlisten-Traversierung. MBMV (2010)