Novel Formal Equivalence Approach to Verify Scalable Architecture in GPU Author(s): Sanjana Jain, Ipshita Tripathi Location: India Year: 2025 Type: Paper Format: pdf Download
