Mitra Purandare, Kubilay Atasu, Christoph Hagleitner. Proving correctness of regular expression accelerators. In Patrick Groeneveld, Donatella Sciuto, Soha Hassoun, editors, The 49th Annual Design Automation Conference 2012, DAC '12, San Francisco, CA, USA, June 3-7, 2012. pages 350-355, ACM, 2012. [doi]
Abstract is missing.