At the flip chip level it would include definitions for DEC3639B (aka 2N3639), D662 (aka
1N645) and D664 (aka 1N3606). Pretty standard stuff to read the datasheets and make SPICE
models.
A real design (or redesign) would pay extensive attention to margining just like the
original designers did. SPICE can help verify to an extent, but all the details you
actually need for design of RTL/DTL/flip-flop are in the 60's TI transistor design
books.