Karthik Ganesan

16 papers A 3B 1C 1Misc 1Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2021 J jnl
Effective Pre-Silicon Verification of Processor Cores by Breaking the Bounds of Symbolic Quick Error Detection.
CoRR
Karthik Ganesan, Florian Lonsing, Srinivasa Shashank Nuthakki, Eshan Singh, Mohammad Rahmani Fadiheh, Wolfgang Kunz, Dominik Stoffel, Clark W. Barrett, Subhasish Mitra
2020 C conf
Sensory Particles with Optical Telemetry.
ISCAS
Karthik Ganesan, Thomas A. Flores, Binh Q. Le, Dante G. Muratore, Neal A. Patel, Subhasish Mitra, Boris Murmann, Daniel Palanker
2019 A conf
Review of Methodologies for Pre- and Post-Silicon Analog Verification in Mixed-Signal SOCs.
DATE
Georges G. E. Gielen, Nektar Xama, Karthik Ganesan, Subhasish Mitra
2019 A conf
Symbolic QED Pre-silicon Verification for Automotive Microcontroller Cores: Industrial Case Study.
DATE
Eshan Singh, Keerthikumara Devarajegowda, Sebastian Simon, Ralf Schnieder, Karthik Ganesan, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz, Clark W. Barrett, Wolfgang Ecker, Subhasish Mitra
2019 J jnl
Symbolic QED Pre-silicon Verification for Automotive Microcontroller Cores: Industrial Case Study.
CoRR
Eshan Singh, Keerthikumara Devarajegowda, Sebastian Simon, Ralf Schnieder, Karthik Ganesan, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz, Clark W. Barrett, Wolfgang Ecker, Subhasish Mitra
2019 A conf
Unlocking the Power of Formal Hardware Verification with CoSA and Symbolic QED: Invited Paper.
ICCAD
Florian Lonsing, Karthik Ganesan, Makai Mann, Srinivasa Shashank Nuthakki, Eshan Singh, Mario Srouji, Yahan Yang, Subhasish Mitra, Clark W. Barrett
2018 J jnl
QVZ: lossy compression of quality values.
Bioinform.
Greg Malysa, Mikel Hernaez, Idoia Ochoa, Milind Rao, Karthik Ganesan, Tsachy Weissman
2016 J jnl
On the Total Power Capacity of Regular-LDPC Codes With Iterative Message-Passing Decoders.
IEEE J. Sel. Areas Commun.
Karthik Ganesan, Pulkit Grover, Jan M. Rabaey, Andrea Goldsmith
2016 J jnl
TPAD: Hardware Trojan Prevention and Detection for Trusted Integrated Circuits.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Tony F. Wu, Karthik Ganesan, Yunqing Alexander Hu, H.-S. Philip Wong, S. Simon Wong, Subhasish Mitra
2015 J jnl
QVZ: lossy compression of quality values.
Bioinform.
Greg Malysa, Mikel Hernaez, Idoia Ochoa, Milind Rao, Karthik Ganesan, Tsachy Weissman
2015 J jnl
TPAD: Hardware Trojan Prevention and Detection for Trusted Integrated Circuits.
CoRR
Tony F. Wu, Karthik Ganesan, Yunqing Alexander Hu, H.-S. Philip Wong, S. Simon Wong, Subhasish Mitra
2015 J jnl
Towards Approaching Total-Power-Capacity: Transmit and Decoding Power Minimization for LDPC Codes.
CoRR
Karthik Ganesan, Pulkit Grover, Jan M. Rabaey, Andrea J. Goldsmith
2012 B conf
Choosing "green" codes by simulation-based modeling of implementations.
GLOBECOM
Karthik Ganesan, Yang Wen, Pulkit Grover, Andrea Goldsmith, Jan M. Rabaey
2012 — conf
How far are LDPC codes from fundamental limits on total power consumption?
Allerton Conference
Karthik Ganesan, Pulkit Grover, Andrea Goldsmith
2011 Misc conf
"Green codes with short wires at the decoder: Fundamental limits and constructions".
ITA
Pulkit Grover, Anant Sahai, Karthik Ganesan, Jan M. Rabaey
2011 — conf
The power cost of over-designing codes.
SiPS
Karthik Ganesan, Pulkit Grover, Jan M. Rabaey