PROCEED: A pareto optimization-based circuit-level evaluator for emerging devices | IEEE Conference Publication | IEEE Xplore