Reversible Logic design

[aditya639]

I am pretty new to reversible logic design. From what I understood so far is that reversible logic allows reproducing inputs from outputs. Also there are certain quantum considerations.

Can someone please tell me what simulation softwares can I use in order to implement simple reversible logic, say an adder or a multiplexer? Would traditional softwares like modelsim or even a spice based software work for reversible logic systems?

Thanks and regards
Aditya