Buenas, calculo que estás queriendo simular la 2da parte. Nosotros no usamos los bloques MOS del Spice, sino que importamos el modelo del CD4007 (en el EVA aparece como "MC14007"). Para probar, conectas los pines como lo pensás hacer en la práctica y ahí simulas...
Saludos.