Karem A. Sakallah

5 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Model Checking of Verilog RTL Using IC3 with Syntax-Guided Abstraction

Aman Goel and others (2019) · Lecture notes in computer science · Springer Science+Business Media

Unbounded Scalable Verification Based on Approximate Property-Directed Reachability and Datapath Abstraction

Suho Lee and others (2014) · Lecture notes in computer science · Springer Science+Business Media

Refinement strategies for verification methods based on datapath abstraction

Zaher S. Andraus and others (2006) · Asia and South Pacific Design Automation Conference (ASP-DAC)

Automatic abstraction and verification of verilog models

Zaher S. Andraus and others (2004) · Proceedings of the 41st annual Design Automation Conference · ACM

GRASP: a search algorithm for propositional satisfiability

João P. Marques-Silva and others (1999) · IEEE Transactions on Computers · Institute of Electrical and Electronics Engineers