Skip to content

Proving correctness of regular expression accelerators.

Mitra Purandare, Kubilay Atasu, Christoph Hagleitner

VenueA*DAC
Year2012
ProceedingsDAC

Browse the full DAC paper archive.