• 10699 Citations
  • 49 h-Index
1987 …2019
If you made any changes in Pure, your changes will be visible here soon.

Fingerprint Fingerprint is based on mining the text of the experts' scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 7 Similar Profiles
Networks (circuits) Engineering & Materials Science
Hardware Engineering & Materials Science
Data storage equipment Engineering & Materials Science
Combinatorial circuits Engineering & Materials Science
Embedded software Engineering & Materials Science
Model checking Engineering & Materials Science
Logic circuits Engineering & Materials Science
Specifications Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1987 2019

Instruction-level abstraction (ILA): A uniform specification for system-on-chip (SOC) verification

Huang, B. Y., Zhang, H., Subramanyan, P., Vizel, Y., Gupta, A. & Malik, S., Jan 1 2019, In : ACM Transactions on Design Automation of Electronic Systems. 24, 1, 10.

Princeton University

Research output: Contribution to journalArticle

Particle accelerators
Specifications
Hardware
System-on-chip
Reduced instruction set computing

A formal instruction-level GPU model for scalable verification

Xing, Y., Huang, B. Y., Gupta, A. & Malik, S., Nov 5 2018, 2018 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2018 - Digest of Technical Papers. Institute of Electrical and Electronics Engineers Inc., a130

Princeton University

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Synchronization
Natural sciences computing
Graphics processing unit
Computer programming
Application programming interfaces (API)

Formal security verification of concurrent firmware in SoCs using instruction-level abstraction for hardware

Huang, B. Y., Ray, S., Gupta, A., Fung, J. M. & Malik, S., Jun 24 2018, Proceedings of the 55th Annual Design Automation Conference, DAC 2018. Institute of Electrical and Electronics Engineers Inc., Vol. Part F137710. a91

Princeton University

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Firmware
Computer hardware
Concurrent
Hardware
Reasoning

Lazy self-composition for security verification

Yang, W., Vizel, Y., Subramanyan, P., Gupta, A. & Malik, S., Jan 1 2018, Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Weissenbacher, G. & Chockler, H. (eds.). Springer Verlag, p. 136-156 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10982 LNCS).

Princeton University

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Chemical analysis
Information Flow
Duplication
Safety
Symbolic Analysis

MemFlow: Memory-driven data scheduling with datapath co-design in accelerators for large-scale inference applications

Nie, Q. & Malik, S., Feb 20 2018, ASP-DAC 2018 - 23rd Asia and South Pacific Design Automation Conference, Proceedings. Institute of Electrical and Electronics Engineers Inc., Vol. 2018-January. p. 446-451 6 p.

Princeton University

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Particle accelerators
Scheduling
Data storage equipment
Dynamic random access storage
Static random access storage