P. Johannes - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 4 from 4

1992

Performance Through Hierarchy in Static Timing VerificationP. Johannes, Luc J. M. Claesen, Hugo De Man. ifip 1992: 703-709

On the use of hierarchy in timing verification with statically sensitizable pathsP. Johannes, Luc J. M. Claesen, Hugo De Man. glvlsi 1992: 4-8 [doi]

1990

SLOCOP-II: a versatile timing verification system for MOSVLSIP. Johannes, P. Das, Luc J. M. Claesen, Hugo De Man. eurodac 1990: 518-523 [doi]

1989

Efficient false path elimination algorithms for timing verification by event graph preprocessingLuc J. M. Claesen, J. P. Schupp, P. Das, P. Johannes, S. Perremans, Hugo De Man. integration, 8(2):173-187, 1989. [doi]

Sign in or sign up to see more results.

runs on WebDSL