Aarti Gupta
7 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Aarti Gupta
Aarti Gupta, Princeton: the 1992 formal-hardware-verification survey this corpus holds, then formally-verified work in 2014 and the instruction-level abstraction line with Malik. Four records spanning 1992 to 2026.
SecIC3: Customizing IC3 for Hardware Security Verification
Qinhan Tan and others (2026) · Design, Automation and Test in Europe (DATE 2026)
Pono: A Flexible and Extensible SMT-Based Model Checker
Makai Mann and others (2021) · Computer Aided Verification · Springer International Publishing
Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification
Bo-Yuan Huang and others (2018) · ACM Transactions on Design Automation of Electronic Systems · Association for Computing Machinery
PipeProof: Automated Memory Consistency Proofs for Microarchitectural Specifications
Yatin A. Manerkar and others (2018) · 2018 51st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO) · IEEE
Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification
Pramod Subramanyan and others (2017) · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · Institute of Electrical and Electronics Engineers
Formally Verifying Graphics FPU: An Intel® Experience
Aarti Gupta and others (2014) · International Symposium on Formal Methods · Springer
Formal hardware verification methods: A survey
Aarti Gupta (1992) · Formal Methods in System Design · Springer Science+Business Media