Ahmed Kammoona

Symposium on Field Programmable Gate Arrays · 2011–2013

A researcher in the Science corpus: 2 papers; trusts 0 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Papers from Ahmed Kammoona's perspective

Ordered by how strongly the researchers Ahmed Kammoona trusts endorse each paper. Same corpus, a different order for every researcher.

  1. An Introduction to High-Level Synthesis (IEEE Design & Test of Computers)
  2. Proposal and Quantitative Analysis of the CHStone Benchmark Program Suite for Practical C-based High-level Synthesis (Journal of Information Processing)
  3. The Hungarian method for the assignment problem
  4. SAT-Based Model Checking without Unrolling (International Conference on Verification, Model Checking and Abstract Interpretation)
  5. DAG-aware AIG rewriting: a fresh look at combinational logic synthesis (2006 43rd ACM/IEEE Design Automation Conference)
  6. On the Complexity of Derivation in Propositional Calculus
  7. Effective Preprocessing in SAT Through Variable and Clause Elimination (International Conference on Theory and Applications of Satisfiability Testing)
  8. Robust Boolean reasoning for equivalence checking and functional property verification (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.)
  9. Interpolation and SAT-Based Model Checking (International Conference on Computer Aided Verification)
  10. SPECC: Specification Language and Methodology

Their papers