force clk 0 0, 1 50 ns -r 100 ns
force reset 1
force start 1
force xP 16#2fe13c0537bbc11acaa07d793de4e6d5e5c94eee8
force yP 16#289070fb05d38ff58321f2e800536d538ccdaa3d9
force k 16#4000000000000000000020108a2e0cc0d99f8a5ed
run 100 ns
force reset 0
run 100 ns
force start 0
run 100 ns
force start 1
run 8000000 ns