selected publications academic article Special issue on in-memory computing: Circuits, system, architecture and verification 2023