selected publications conference paper A parallel VLSI architecture for Markov chain Monte Carlo based MIMO detection. . 2013 Just-in-Time Verification in ADL-based processor design. . 2012