N
Najm
Publications - 2
Citations - 26
Najm is an academic researcher. The author has contributed to research in topics: Logic gate & Very-large-scale integration. The author has an hindex of 2, co-authored 2 publications receiving 26 citations.
Papers
More filters
Proceedings ArticleDOI
Maximum Circuit Activity Estimation Using Pseudo-Boolean Satisfiability
Proceedings ArticleDOI
Managing verification error traces with Bounded Model Debugging
Safarpour,Veneris,Najm +2 more