One I think is Ngspice with a bridge to a digital simulator. You should be able to find that in the ngspice manual