Dheepakkumaran Jayaraman, Spyros Tragoudas. Performance validation through implicit removal of infeasible paths of the behavioral description. In International Symposium on Quality Electronic Design, ISQED 2013, Santa Clara, CA, USA, March 4-6, 2013. pages 552-557, IEEE, 2013. [doi]