Functional Verification for Pre-Alignment Filtering in Memory

Functional Verification for Pre-Alignment Filtering in Memory used for the evaluation of the papers titled RattlesnakeJake: A Fast and Accurate Pre-Alignment Filter Suitable for Computation-in-Memory, SieveMem : A Computation-in-Memory Architecture for Fast and Accurate Pre-Alignment , and the M.Sc. thesis of Michael Miao at QCE department.内存中预对齐过滤（Pre-Alignment Filtering）的功能验证，用于评估题为《RattlesnakeJake: A Fast and Accurate Pre-Alignment Filter Suitable for Computation-in-Memory》、《SieveMem: A Computation-in-Memory Architecture for Fast and Accurate Pre-Alignment》的两篇论文，以及QCE系Michael Miao的硕士学位论文。