This paper describes a SPICE model development methodology for Quantum-Dot Cellular Automata (QCA) cells and presents a SPICE model for QCA cells. The model is validated by simulating the basic logic gates such as inverter and majority voter. A full-adder is designed with QCA cells using the SPICE model as a test vehicle and the function is verified successfully. The proposed model makes it possible to design and simulate QCA combinational circuits and hybrid circuits of QCA and other NANO devices using SPICE. Categories and Subject Descriptors B.7.1 [Integrated Circuits]: Types and Design Styles; I.6.5 [Simulation and Modeling]: Model Development General Terms Design Keywords QCA Macro Modeling