ToPoliNano: A synthesis and simulation tool for NML circuits