I spent the summer of 1985 working in the "Severance" building, on loan to the 6300 Plus group helping them port Unix to their new machine. I found a bug in the 286 CPU (B2 stepping) while I was there.
You (Lauren) may recognize some of the inventor names in the patent:
https://patents.google.com/patent/US4747040A