Nozar Tabrizi Nader Bagherzadeh An ASIC design and formal analysis of a novel pipelined and parallel sorting accelerator. 65-75 2008 41 Integration 1 http://dx.doi.org/10.1016/j.vlsi.2007.01.004 db/journals/integration/integration41.html#TabriziB08