Concepedia

E. Vanden Meersch

EV

Statistics

Publications

3

Citations

148

H-Index

3

Active since

1985

Affiliations

IMEC(Current)

E. Vanden Meersch is an author at IMEC specializing in formal verification, computer science, and computer engineering.

Top concepts

Publications per year

1985–1990

3

Publications

3

Timing verification using statically sensitizable paths

J. Benkoski, E. Vanden Meersch, Luc Claesen et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1990 · 86 citations

, , +20

DIALOG: An Expert Debugging System for MOSVLSI Design

H.J. De Man, I. Bolsens, E. Vanden Meersch et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1985 · 35 citations

, , +20

SLOCOP : A Timing Verification Tool for Synchronous CMOS Logic

E. Vanden Meersch, Luc Claesen, H. De Man · 1986 · 27 citations

, , +20

1–3 of 3