The CryoCMOS Consortium has created PDK-quality, transistor models characterised for both 4K & 77K operation. SureCore is using these to develop IP to enable the design of cryo-control ASICs for use in quantum computing.

See the full article on ElectronicsWeekly.com