Automatic abstraction and verification of verilog models

Sakallah , Andraus
design automation conference 218 -223

2004
PANEL SUB-COMMITTEE

Marek Perkowski , Larry Pileggi , Rajeev Ranjan , Kaushik Roy

Members-at-Large

JOSÉ N AMARAL , MIKHAIL ATALLAH , NADER BAGHERZADEH , SANJOY BARUAH

SAMSON: a mixed circuit-logic level simulator

KA Sakallah , SW Director
Advances in Computer-Aided Engineering Design 1 149 -223

11
1985
Impact of MCMs on system performance optimization

AI Kayssi , KA Sakallah , RB Brown , RJ Lomax
Ann Arbor 1001 48109 -2122

9
1992
GRASP–a New Search Algorithm for Satisfiability

JP Marques-Silva , KA Sakallah
International Conference on Computer-Aided Design 220 -227

2
Map Coloring

PT Darga , KA Sakallah , IL Markov

2022
Ann Arbor, MI-48109-2122

V Chandramouli , AI Kayssit , KA Sakallah
Seventeenth Conference on Advanced Research in VLSI: Proceedings, September 15-16, 1997, Ann Arbor, Michigan 32 32 -32

1997
THE UNIVERSITY OF MICHIGAN COMPUTER SCIENCE AND ENGINEERING DIVISION

KA Sakallah , CA Olukotun
Ann Arbor 1001 48109 -2122

1989
‫تصفح اقسام الموقع

PT Darga , KA Sakallah , IL Markov

Fractional Coloring

PT Darga , KA Sakallah , IL Markov

2022
Dipole Graph

PT Darga , KA Sakallah , IL Markov

2022
SPECIAL ISSUE ON INTERCONNECTS AND PACKAGING

PJ Restle , HH Smith , G Katopis , WD Becker

Incremental boolean satisfiability and its application to delay fault testing

J Kim , J Whittemore , JPM Silva , KA Sakallah
IEEE/ACM International Workshop on Logic Synthesis (IWLS)

7
1999
A comparison of path sensitization criteria for timing analysis

JP Marques Silva , KA Sakallah
International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems

2
1993
Sensitization networks for accurate timing analysis

JP Marques Silva , KA Sakallah
International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems

2
1993
Theory and Applications of Satisfiability Testing

Joao Marques-Silva , Kareem A Sakallah
SAT 4501

10
2007
Synchronization of Pipelines

Karem A Sakallah Trevor N Mudge , Timothy M Burks Edward S Davidson
Computer Science 1001 48109 -2122

1991
RID-GRASP: Redundancy identification and removal using GRASP

Joonyoung Kim , Joao P Marques Silva , Hamid Savoj , Karem A Sakallah
Smpte Journal

19
1997
FORCE: a fast and easy-to-implement variable-ordering heuristic

Fadi A Aloul , Igor L Markov , Karem A Sakallah
Smpte Journal 116 -119

117
2003