![]() If they did not invest in their tools, they could could not ship the iPhone to millions of customers every year. Their factory tooling is as important as the final product itself. Jony Ive has spoke about this endeavor multiple times: Apple spends an insane amount of time making things to make things. They spend an enormous amount of time designing the machines that make the objects. When Apple releases a new iPhone, it is the culmination of decades of manufacturing expertise and factory design. “ Formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics.” Crafting Virtual Hardware This requirement for incredibly high quality code has led researchers and engineers to the practice of Formal Verification. You architect a solution and build it out carefully, testing everything as you go. If you are writing code for rockets, airplanes or medical devices, you do not ship untested software rapidly. ![]() It turns out that other industries have similar requirements.
0 Comments
Leave a Reply. |