Advanced neuronal logic circuit designs using spiking models: a framework for sequential biocomputation | Synapse