Erich Barke

Line-to-ground capacitance calculation for VLSI: a comparison

Erich Barke · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1988 · 99 citations

Electrical Engineering, Engineering, Vlsi Design +11

Model checking algorithms for analog verification

Walter Hartong, Lars Hedrich, Erich Barke · Proceedings - ACM IEEE Design Automation Conference · 2002 · 68 citations

Engineering, Analog Design, Verification +16

Analog circuit simulation using range arithmetics

Darius Grabowski, Markus Olbrich, Erich Barke · Asia and South Pacific Design Automation Conference · 2008 · 36 citations

Numerical Analysis, Engineering, Analog-to-digital Converter +12

Analog circuit sizing based on formal methods using affine arithmetic

Andreas Lemke, Lars Hedrich, Erich Barke · Digest of technical papers/Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design · 2002 · 31 citations

Mathematical Programming, Numerical Analysis, Electrical Engineering +15

A formal approach to verification of linear analog circuits with parameter tolerances

Lars Hedrich, Erich Barke · Design, Automation, and Test in Europe · 1998 · 31 citations

Engineering, Formal Approach, Analog Design +18