It's one tool of many. Microsoft used it to catch an error in the design of the memory controller in the XBox360 before launch. They also use it in the design o

It's one tool of many. Microsoft used it to catch an error in the design of the memory controller in the XBox360 before launch. They also use it in the design of the consistency levels in CosmosDB which are tied directly to their SLAs. Hardware has a high turn-around time between iterations so being able to understand the design more clearly and catch errors earlier is a great investment.