pintest_batch.Make
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