Exact Synthesis of Reversible Logic Circuits using Model Checking

Rajarshi Ray, Arup Deka, Kamalika Datta

Synthesis of reversible logic circuits has gained great atten- tion during the last decade. Various synthesis techniques have been pro- posed, some generate optimal solutions (in g…