Correctness, efficiency, extendability and maintainability in neural network simulation | IEEE Conference Publication | IEEE Xplore