ED2000-58 / SDM2000-58 Implementation of single electron circuit simulation by SPICE: KOSEC-SPICE