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 → 5/31/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
2 Scopus citations -
Compositional verification using a formal component and interface specification
Xing, Y., Lu, H., Gupta, A. & Malik, S., Oct 30 2022, Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2022. Institute of Electrical and Electronics Engineers Inc., 72. (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
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
-
Usage-based RTL subsetting for hardware accelerators
Tan, Q., Gupta, A. & Malik, S., Oct 30 2022, Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2022. Institute of Electrical and Electronics Engineers Inc., 73. (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
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