( en | de | ru )

 

Disambiguation of "Malik, Sharad"

Author of the publication

copydeleteadd this publication to your clipboard
Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver.

, , , , and . DAC, page 747-750. ACM, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sharad Chandra

Sharad Prasad

Shalaka Sharad Shah

David Malik

Nishant Malik

 

Other publications of authors with the same name

The Quest for Efficient Boolean Satisfiability Solvers., and . CADE, volume 2392 of Lecture Notes in Computer Science, page 295-313. Springer, (2002)Embedded Software Implementation Tools for Fully Programmable Application Specific Systems.. EMSOFT, volume 2211 of Lecture Notes in Computer Science, page 254-256. Springer, (2001)Zchaff2004: An Efficient SAT Solver., , and . SAT (Selected Papers, volume 3542 of Lecture Notes in Computer Science, page 360-375. Springer, (2004)Solving Quantified Boolean Formulas with Circuit Observability Don't Cares., and . SAT, volume 4121 of Lecture Notes in Computer Science, page 368-381. Springer, (2006)Challenges in code generation for embedded processors., , , , , , , and . Code Generation for Embedded Processors, page 48-64. Kluwer, (1994)Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification., , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 37 (8): 1692-1705 (2018)Performance estimation of embedded software with instruction cache modeling., , and . ACM Trans. Design Autom. Electr. Syst., 4 (3): 257-279 (1999)Code generation for fixed-point DSPs., and . ACM Trans. Design Autom. Electr. Syst., 3 (2): 136-161 (1998)A hierarchical modeling framework for on-chip communication architectures of multiprocessing SoCs., and . ACM Trans. Design Autom. Electr. Syst., 12 (1): 6:1-6:24 (2007)Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification., , , , , and . CoRR, (2018)