Kwangil Choi, Hyunok Oh Hanyang University. Introduction ◦ Non-volatile Memory (NVM) ◦ Synchronous dataflow (SDF) Problem Definition Answer Set.