Shahid Ikram is an author at Intel (Israel) specializing in formal methods, program analysis, and engineering.
Top concepts
EngineeringVerificationFormal MethodsSatisfiabilityComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningFormal Verification
Publications per year
2003–2003
1
1
Accelerated verification of RTL assertions based on satisfiability solvers
Ranan Fraer, Shahid Ikram, Gila Kamhi et al. · 2003 · 13 citations
Rows per page
1–1 of 1