s9234 model: 5597 gates and 211 D flip-flop