The ultimate yak shave: to implement its last generation of #LispMachines, Symbolics developed a complete #EDA toolset in #CommonLisp called NS that enabled them to design and verify their ASICs, gate arrays, and boards from architecture to photomasks for manufacturing.
Thanks to @jpreisendoerfer for scanning the article "The #Symbolics #Ivory Design and #Verification Strategy" that was unavailable on the net until now.