Karthik Ganesan

According to our database, Karthik Ganesan authored at least 13 papers between 2011 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Effective Pre-Silicon Verification of Processor Cores by Breaking the Bounds of Symbolic Quick Error Detection.

Karthik Ganesan, Florian Lonsing, Srinivasa Shashank Nuthakki, Eshan Singh, Mohammad Rahmani Fadiheh, Wolfgang Kunz, Dominik Stoffel, Clark W. Barrett, Subhasish Mitra

CoRR, 2021

2020

Sensory Particles with Optical Telemetry.

Karthik Ganesan, Thomas A. Flores, Binh Q. Le, Dante G. Muratore, Neal A. Patel, Subhasish Mitra, Boris Murmann, Daniel Palanker

Proceedings of the IEEE International Symposium on Circuits and Systems, 2020

2019

Unlocking the Power of Formal Hardware Verification with CoSA and Symbolic QED: Invited Paper.

Florian Lonsing, Karthik Ganesan, Makai Mann, Srinivasa Shashank Nuthakki, Eshan Singh, Mario Srouji, Yahan Yang, Subhasish Mitra, Clark W. Barrett

Proceedings of the International Conference on Computer-Aided Design, 2019

Symbolic QED Pre-silicon Verification for Automotive Microcontroller Cores: Industrial Case Study.

Eshan Singh, Keerthikumara Devarajegowda, Sebastian Simon, Ralf Schnieder, Karthik Ganesan, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz, Clark W. Barrett, Wolfgang Ecker, Subhasish Mitra

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Review of Methodologies for Pre- and Post-Silicon Analog Verification in Mixed-Signal SOCs.

Georges G. E. Gielen, Nektar Xama, Karthik Ganesan, Subhasish Mitra

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018

QVZ: lossy compression of quality values.

Greg Malysa, Mikel Hernaez, Idoia Ochoa, Milind Rao, Karthik Ganesan, Tsachy Weissman

Bioinform., 2018

2016

TPAD: Hardware Trojan Prevention and Detection for Trusted Integrated Circuits.

Tony F. Wu, Karthik Ganesan, Yunqing Alexander Hu, H.-S. Philip Wong, S. Simon Wong, Subhasish Mitra

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016

On the Total Power Capacity of Regular-LDPC Codes With Iterative Message-Passing Decoders.

Karthik Ganesan, Pulkit Grover, Jan M. Rabaey, Andrea Goldsmith

IEEE J. Sel. Areas Commun., 2016

2015

Towards Approaching Total-Power-Capacity: Transmit and Decoding Power Minimization for LDPC Codes.

Karthik Ganesan, Pulkit Grover, Jan M. Rabaey, Andrea J. Goldsmith

CoRR, 2015

2012

Choosing "green" codes by simulation-based modeling of implementations.

Karthik Ganesan, Yang Wen, Pulkit Grover, Andrea Goldsmith, Jan M. Rabaey

Proceedings of the 2012 IEEE Global Communications Conference, 2012

How far are LDPC codes from fundamental limits on total power consumption?

Karthik Ganesan, Pulkit Grover, Andrea Goldsmith

Proceedings of the 50th Annual Allerton Conference on Communication, 2012

2011

The power cost of over-designing codes.

Karthik Ganesan, Pulkit Grover, Jan M. Rabaey

Proceedings of the IEEE Workshop on Signal Processing Systems, 2011

"Green codes with short wires at the decoder: Fundamental limits and constructions".

Pulkit Grover, Anant Sahai, Karthik Ganesan, Jan M. Rabaey

Proceedings of the Information Theory and Applications Workshop, 2011