Iyer, Vighnesh
12  results:
Search for persons X
?
1

RTL-Repair: Fast Symbolic Repair of Hardware Design Code:

, In: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3,
Laeufer, Kevin ; Fajardo, Brandon ; Ahuja, Abhik... - p. 867-881 , 2024
 
?
2

Simulator Independent Coverage for RTL Hardware Languages:

, In: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3,
Laeufer, Kevin ; Iyer, Vighnesh ; Biancolin, David... - p. 606-615 , 2023
 
?
3

Early Diagnosis of Cataract and Diabetic Retinopathy for Ru..:

, In: 2023 International Conference on Advanced Computing Technologies and Applications (ICACTA),
 
?
4

A Review of Emotion Detection Systems:

, In: 2022 5th International Conference on Contemporary Computing and Informatics (IC3I),
Deo, Aditi ; Thakore, Dhrumil ; Mistry, Riddhi.. - p. 32-37 , 2022
 
?
5

Pattern Census: A Characterization of Pattern Usage in Earl..:

, In: Proceedings of the 52nd ACM Technical Symposium on Computer Science Education,
Iyer, Vighnesh ; Zilles, Craig - p. 45-51 , 2021
 
?
6

A Dual-Core RISC-V Vector Processor With On-Chip Fine-Grain..:

Wright, John Charles ; Schmidt, Colin ; Keller, Ben...
IEEE Transactions on Very Large Scale Integration (VLSI) Systems.  28 (2020)  12 - p. 2721-2725 , 2020
 
?
7

RTL bug localization through LTL specification mining (WIP):

, In: Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design,
 
1-12