Anmol Mathur

Publication Activity (10 Years)

Years Active: 1994-2022
Publications (10 Years): 1

Top Topics

Millimeter Wave

Unsupervised Learning

Physical Phenomena

Top Venues

Publications

Satya Kumar Vankayala, Swaraj Kumar, Thirumulanathan D, Anmol Mathur, Seungil Yoon, Issaac Kommineni
Deep-Learning Based Beam Selection Technique for 6G Millimeter Wave Communication. PIMRC (2022)
Susan Carver, Anmol Mathur, Lalit Sharma, Prasad Subbarao, Steve Urish, Qi Wang
Low-Power Design Using the Si2 Common Power Format. IEEE Des. Test Comput. 29 (2) (2012)
Pankaj Chauhan, Deepak Goyal, Gagan Hasteer, Anmol Mathur, Nikhil Sharma
Non-cycle-accurate sequential equivalence checking. DAC (2009)
Anmol Mathur, Qi Wang
Power Reduction Techniques and Flows at RTL and System Level. VLSI Design (2009)
Anmol Mathur, Masahiro Fujita, Edmund M. Clarke, Pascal Urard
Functional Equivalence Verification Tools in High-Level Synthesis Flows. IEEE Des. Test Comput. 26 (4) (2009)
Anmol Mathur, Venkat Krishnaswamy
Design for Verification in System-level Models and RTL. DAC (2007)
Anmol Mathur, Masahiro Fujita, M. Balakrishnan, Raj S. Mitra
Sequential Equivalence Checking. VLSI Design (2006)
Alfred Kölbl, Yuan Lu, Anmol Mathur
Embedded tutorial: formal equivalence checking between system-level models and RTL. ICCAD (2005)
G. N. Mangalam, Sanjiv Narayan, Paul van Besouw, LaNae J. Avra, Anmol Mathur, Sanjeev Saluja
Graph Transformations for Improved Tree Height Reduction. VLSI Design (2003)
Anmol Mathur, Sanjeev Saluja
Improved Merging of Datapath Operators using Information Content and Required Precision Analysis. DAC (2001)
Gagan Hasteer, Anmol Mathur, Prithviraj Banerjee
Efficient equivalence checking of multi-phase designs using phase abstraction and retiming. ACM Trans. Design Autom. Electr. Syst. 3 (4) (1998)
Anmol Mathur, Ali Dasdan, Rajesh K. Gupta
Rate analysis for embedded systems. ACM Trans. Design Autom. Electr. Syst. 3 (3) (1998)
Gagan Hasteer, Anmol Mathur, Prithviraj Banerjee
An Implicit Algorithm for Finding Steady States and its Application to FSM Verification. DAC (1998)
Gagan Hasteer, Anmol Mathur, Prithviraj Banerjee
Efficient equivalence checking of multi-phase designs using retiming. ICCAD (1998)
Gagan Hasteer, Anmol Mathur, Prithviraj Banerjee
An Efficient Assertion Checker for Combinational Properties. DAC (1997)
Anmol Mathur, C. L. Liu
Timing-driven placement for regular architectures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 16 (6) (1997)
Ali Dasdan, Anmol Mathur, Rajesh K. Gupta
RATAN: A tool for rate analysis and rate constraint debugging for embedded systems. ED&TC (1997)
Anmol Mathur, Edward M. Reingold
-Modal Search. SIAM J. Comput. 25 (2) (1996)
Anmol Mathur, C. L. Liu
Timing Driven Placement Reconfiguration for Fault Tolerance and Yield Enhancement in FPGAs. ED&TC (1996)
Anmol Mathur, K. C. Chen, C. L. Liu
Applications of Slack Neighborhood Graphs to Timing Driven Optimization Problems in FPGAs. FPGA (1995)
Anmol Mathur, K. C. Chen, C. L. Liu
Re-engineering of timing constrained placements for regular architectures. ICCAD (1995)
Anmol Mathur, C. L. Liu
Compression-relaxation: a new approach to performance driven placement for regular architectures. ICCAD (1994)