GSRC Student Profile:
Research Overview: semi-formal and simulation based techniques for verification of industrial scale designs using massively parallel processing
My research interests are in the verification of
large industrial-scale designs through semi-formal and simulation-based methods. In particular, I focus on leveraging the performance of highly-parallel multi-core platforms to boost the scalability and performance of core EDA algorithms. In a recent project, I developed a logic simulator for digital designs that leveraged the parallelism of a GP-GPU platform to deliver a large performance gain.
|
