Abstract—We study the logic synthesis of emerging nanotechwhose elementary devices abstraction is a majority voter. We argue that synthesis tools, natively supporting the majority straction, are the technology enablers. This is because they allow designers to validate majority-based nanotechnologies on large-scale benchmarks. We describe models and datastructures for logic design with majority-based nanotechnologies and we show results of applying new synthesis algorithms and tools. We conclude that new logic synthesis methods are required to achieve a fair assessment on emerging nanotechnologies.