Karem A. Sakallah

Multilevel optimization in the design of a high-performance GaAs microcomputer

Trevor Mudge, O. A. Olukotun, Richard B. Brown, 1991 .

Conflict analysis in search algorithms for propositional satisfiability

Karem A. Sakallah, K. Sakallah, 1996 .

ACTIVITY-DIRECTED CIRCUIT SIMULATION ALGORITHM.

Karem A. Sakallah, 1980 .

Concurrent path sensitization in timing analysis

Joao Marques-Silva, Karem A. Sakallah, K. Sakallah, 1993, Proceedings of EURO-DAC 93 and EURO-VHDL 93- European Design Automation Conference.

An event driven approach for mixed gate and circuit level simulation

Karem A. Sakallah, Stephen W. Director, 1982 .

FPD-an environment for exact timing analysis

Joao Marques-Silva, Karem A. Sakallah, Luís M. Vidigal, 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.

REVERSE: Efficient Sequential Verification for Retiming

Karem A. Sakallah, Maher Mneimneh, 2003 .

Signal delay in coupled, distributed RC lines in the presence of temporal proximity

Ayman I. Kayssi, Karem A. Sakallah, V. Chandramouli, 1997, Proceedings Seventeenth Conference on Advanced Research in VLSI.

Proceedings of the 10th international conference on Theory and applications of satisfiability testing

Joao Marques-Silva, Karem A. Sakallah, 2007 .