Aadithya V. Karthik

My photo

I'm a PhD student in the EECS Department at UC Berkeley. I work with Prof. Jaijeet Roychowdhury, and my research is focused on developing new algorithms and computational techniques for chip-design.

At the moment, I'm working on a project (dubbed ABCD) where the goal is to automatically derive Boolean abstractions (i.e., discrete-time, discrete-valued models such as Finite State Machines) that approximate the behaviour of continuous systems (e.g., cutting-edge analog/mixed-signal designs). The hope is that these Boolean models will be amenable to analysis using existing tools available for formal verification and model checking, which may help in proving the correctness and performance aspects of the underlying continuous systems. Also, the Boolean models so generated can be simulated very efficiently, i.e., orders of magnitude faster than traditional SPICE. For example, here is a paper that we recently published on this idea.

Before ABCD, I was working on non-stationary noise analysis. Specifically, I was building CAD tools (dubbed SAMURAI and MUSTARD) to help predict the impact of Random Telegraph Noise (RTN) on deep sub-micron SRAM and DRAM designs. Here's a talk that I gave recently at Purdue University on this topic.

Some links: