Immediate Impact
1 from Science/Nature 3 standout
Citing Papers
Trustworthy AI: From Principles to Practices
2022 Standout
High-Level Synthesis for FPGAs: From Prototyping to Deployment
2011 Standout
Works of A. Srinivasan being referenced
Verity—A formal verification program for custom CMOS circuits
1995
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| A. Srinivasan | 62 | 50 | 21 | 7 | 78 | |
| T.W. Williams | 60 | 58 | 5 | 7 | 86 | |
| Shianling Wu | 74 | 75 | 7 | 9 | 84 | |
| N. Tamarapalli | 95 | 93 | 5 | 5 | 102 | |
| K.D. Wagner | 83 | 80 | 7 | 8 | 98 | |
| Chin-Chi Teng | 176 | 70 | 5 | 9 | 196 | |
| Peter Vanbekbergen | 76 | 77 | 67 | 6 | 115 | |
| Debjit Sinha | 44 | 36 | 12 | 9 | 67 | |
| Don MacMillen | 68 | 32 | 5 | 6 | 101 | |
| D. Lanneer | 28 | 39 | 6 | 8 | 65 | |
| Linfu Xiao | 109 | 70 | 7 | 7 | 110 |
All Works
Login with ORCID to disown or claim papers
Loading papers...