( en | de | ru )

 

Disambiguation of "Malik, Sharad"

Author of the publication

copydeleteadd this publication to your clipboard
Template-based circuit understanding.

, , , , , and . FMCAD, page 83-90. IEEE, (2014)

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

Challenges in code generation for embedded processors., , , , , , , and . Code Generation for Embedded Processors, page 48-64. Kluwer, (1994)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)Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification., , , , , and . CoRR, (2018)Code generation for fixed-point DSPs., and . ACM Trans. Design Autom. Electr. Syst., 3 (2): 136-161 (1998)Performance estimation of embedded software with instruction cache modeling., , and . ACM Trans. Design Autom. Electr. Syst., 4 (3): 257-279 (1999)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)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)