A Spice model is proposed based on the physical model of single-electron transistors (SETs). It consists of a voltage-controlled current source, a voltage-controlled voltage source and a voltage source. Compared with quasi-analytical SET model, the I-V property of SET can be shown accurately. The single-electron inverter is investigated and the unit device for Binary Dicision Diagram (BDD) is improved.