Memory-Based Logic Synthesis