Memory-based logic synthesis | lit.salon