Toward A Formalized Approach for Spike Sorting Algorithms and Hardware Evaluation