pintest_kernel_batch.Make
pintest_kernel.db: pintest_kernel.v pintest.v pintest.db pintest_ctrl.v pintest_ctrl.db
dc_shell pintest_kernel dreadnought
pintest.db: pintest.v delay128.v delay128.db listener.v listener.db
dc_shell pintest dreadnought
delay128.db: delay128.v zeroone.v zeroone.db
dc_shell delay128 dreadnought
zeroone.db: zeroone.v
dc_shell zeroone dreadnought
listener.db: listener.v
dc_shell listener dreadnought
pintest_ctrl.db: pintest_ctrl.v
dc_shell pintest_ctrl tri