Projects per year
Fingerprint
Dive into the research topics where Sharad Malik is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
COSIMILA: Accelerating System-Level Co-simulation using ILA (Instruction-Level Abstraction) Models
3/1/22 → 2/28/23
Project: Research project
-
Automatic Generation of Architecture-Level Models from RTL Designs for Processors and Accelerators
Zeng, Y., Gupta, A. & Malik, S., 2022, Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022. Bolchini, C., Verbauwhede, I. & Vatajelu, I. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 460-465 6 p. (Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Generalizing Tandem Simulation: Connecting High-level and RTL Simulation Models
Xing, Y., Gupta, A. & Malik, S., 2022, ASP-DAC 2022 - 27th Asia and South Pacific Design Automation Conference, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 154-159 6 p. (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC; vol. 2022-January).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Chapter 4: Conflict-driven clause learning SAT solvers
Marques-Silva, J., Lynce, I. & Malik, S., 2021, Handbook of Satisfiability: Second Edition. Part 1/Part 2. Biere, A., Heule, M., Van Maaren, H. & Walsh, T. (eds.). IOS Press BV, p. 133-182 50 p. (Frontiers in Artificial Intelligence and Applications; vol. 336).Research output: Chapter in Book/Report/Conference proceeding › Chapter
4 Scopus citations -
Conflict-Driven clause learning SAT solvers
Marques-Silva, J., Lynce, I. & Malik, S., May 5 2021, Handbook of Satisfiability: Second Edition. IOS Press, p. 133-182 50 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter
5 Scopus citations -
Generating Architecture-Level Abstractions from RTL Designs for Processors and Accelerators Part I: Determining Architectural State Variables
Zeng, Y., Huang, B. Y., Zhang, H., Gupta, A. & Malik, S., 2021, 2021 40th IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2021 - Proceedings. Institute of Electrical and Electronics Engineers Inc., (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD; vol. 2021-November).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Scopus citations