I used http://www.spisim.com/ to convert the IBIS model to a spice netlist. But it seems the IBIS model only models an input and and output pin by themselves, at different input Vcc levels. Does the IBIS model also capture the D flip flop action somehow?