application of spacetime-standalone to a hardware design database