Dan Carmi is an author at Intel (United States) specializing in computer engineering, program analysis, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingAutomated ReasoningFormal VerificationComputer EngineeringComputer Architecture
Publications per year
2010–2010
1
1
SAT-based semiformal verification of hardware
Sabih Agbaria, Dan Carmi, Orly Cohen et al. · Formal Methods in Computer-Aided Design · 2010 · 10 citations
Engineering, Hardware Verification Language, Verification +17
Rows per page
1–1 of 1