PROCEED: A Pareto Optimization-Based Circuit-Level Evaluator for Emerging Devices | IEEE Journals & Magazine | IEEE Xplore