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