Karthik V Aadithya
机构: Sandia National Laboratories
每年引用次数
引用次数
引用: 603
H-指数: 11
I10-指数 : 12
出版物: 45
DAE2FSM: Automatic generation of accurate discrete-time logical abstractions for continuous-time circuit dynamics
Aadithya , Roychowdhury
design automation conference 311 -316
2012
SAMURAI: An accurate method for modelling and simulating non-stationary Random Telegraph Noise in SRAMs
Venugopalan , Roychowdhury , Demir , Aadithya
2011 Design, Automation&Test in Europe 1 -6
2011
CFD analysis of shrouded diffuser wind turbine
S. Prabhu , L. , Prakash , S.
International Journal of Engineering and Advanced Technology 8 ( 6) 2100 -2104
2
2019
A fully automated technique for constructing FSM abstractions of non-ideal latches in communication systems
Karthik. V. Aadithya , Yingyan Lin , Chenjie Gu , Aolin Xu
2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) 5289 -5292
2012
Efficient Computation of the Shapley Value for Game-Theoretic Network Centrality
T. P. Michalak , K. V. Aadithya , P. L. Szczepanski , B. Ravindran
arXiv: Computer Science and Game Theory
1
2014
Efficient computation of the Shapley value for game-theoretic network centrality
Tomasz Michalak , KV Aaditha , PL Szczepański , Balaraman Ravindran
Journal of AI Research 46 607 -650
218
2013
Representation of coalitional games with algebraic decision diagrams
Karthik V Aadithya , Tomasz P Michalak , Nicholas R Jennings
AAMAS 2011 1121 -1122
31
2011
Xyce™ Parallel Electronic Simulator Users' Guide, Version 7.5.
Eric R Keiter , Thomas V Russo , Richard L Schiek , Heidi K Thornquist
Sandia National Lab.(SNL-NM), Albuquerque, NM (United States) ( SAND2022-5845)
40
2022
Accurate prediction of random telegraph noise effects in SRAMs and DRAMs
Karthik V Aadithya , Alper Demir , Sriramkumar Venugopalan , Jaijeet Roychowdhury
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 32 ( 1) 73 -86
28
2012
Xyce TM Parallel Electronic Simulator Users' Guide Version 6.9
Eric R Keiter , Karthik V Aadithya , Ting Mei , Thomas V Russo
Office of Scientific and Technical Information (OSTI)
2018
SANDIA REPORT
Eric R Keiter , Thomas V Russo , Richard L Schiek , Heidi K Thornquist
Efficient Computation of the Shapley Value for Centrality in Networks
Karthik V Aadithya , Balaraman Ravindran , Tomasz P Michalak , Nicholas R Jennings
Xyce™ Parallel Electronic Simulator Reference Guide (V. 7.6)
Eric R Keiter , Thomas V Russo , Richard L Schiek , Heidi K Thornquist
Sandia National Lab.(SNL-NM), Albuquerque, NM (United States) ( SAND2022-14886)
11
2022
ABCD-NL: Approximating Continuous non-linear dynamical systems using purely Boolean models for analog/mixed-signal verification
Aadithya V Karthik , Sayak Ray , Pierluigi Nuzzo , Alan Mishchenko
asia and south pacific design automation conference 250 -255
21
2014
ABCD-L: Approximating continuous linear systems using Boolean models
Aadithya V Karthik , Jaijeet Roychowdhury
1 -9
20
2013
MAPP: The Berkeley Model and Algorithm Prototyping Platform
Tianshi Wang , Aadithya V Karthik , Bichen Wu , Jian Yao
custom integrated circuits conference 1 -8
5
2015
BEE: Predicting realistic worst case and stochastic eye diagrams by accounting for correlated bitstreams and coding strategies
Aadithya V Karthik , Sayak Ray , Jaijeet Roychowdhury
asia and south pacific design automation conference 366 -371
8
2015
NINJA: boolean modelling and formal verification of tiered-rate chemical reaction networks
Aadithya V Karthik , David Soloveichik , Sayak Ray , Baruch Sterin
623 -624
2014
ABCD-NL: Approximating Non-Linear Analog/Mixed-Signal Systems using Purely Boolean Models for High-speed Simulation and Formal Verification
Aadithya V Karthik , Sayak Ray , Pierluigi Nuzzo , Alan Mishchenko
An Exact Linear Time Algorithm for Computing Worst Case Eye Diagrams for a Class of Non-Linear High-Speed Signaling Systems
Aadithya V Karthik , Sayak Ray , Robert Brayton , Jaijeet Roychowdhury