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
A grouping.
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.
3 references
SecIC3: Customizing IC3 for Hardware Security Verification
Qinhan Tan and others (2026) · Design, Automation and Test in Europe (DATE 2026)
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
Formally Verifying Graphics FPU: An Intel® Experience
Aarti Gupta and others (2014) · International Symposium on Formal Methods · Springer