Yes, these machines are awfully complex, but 1.2 billion ? Really ?
Yes, these machines are awfully complex, but 1.2 billion ? Really ?
> Formal verification tools allow those teams to be confident that their solution is complete and error-free, and the code itself is then automatically generated... With such a model-driven engineering (MDE) approach, software developers at ASML recently replaced half a million lines of code that had been built the conventional way.
https://www.asml.com/en/news/stories/2017/knowing-how-to-cod...
Would be great to get the sources from the video. Maybe they talked about compiled assembly?
[1] https://www.asml.com/en/technology/software [2] https://www.asml.com/en/news/stories/2017/knowing-how-to-cod... [3] https://news.ycombinator.com/item?id=18463181
ASML developed new software products over the years but it didn’t pan out and at this point customers are wary of anything being sold and would rather keep 20 year old inefficient but proven to work systems around. Think racks of control systems next to DUV machines that are officially years EOL but ASML is forced to sell today because it’s all a customer is willing to buy into.
-- Machine has to be connected to internet at all times for no functional reason whatsoever
-- Account has to be created for every employee to login to "cloud"
-- Software had "smart" in the name
-- Monthly subscription, the more accounts the higher the cost
-- Completely bugged and broken web interface at all times. Make sure the style and behavior of UX components is unlike anything else and broken.
-- Hosted through Azure with the most elaborate and complex infrastructure setup possible. At least 100 mb upload per served webpage and 1 GB of RAM useage at the client side.
-- Machine serves the website/API from the smallest possible microcontroller for no reason.
-- Webapp / client runs in Microsoft Edge only.
-- Tracking sent to ASML servers for "no reason"
-- Everybody at ASML working on the cloud software had to work on-site in Eindhoven for no reason whatsoever and was paid as little as possible by forming renumeration fixing cartels with other companies in the area.
I hope that I'm completely wrong.
It’s mostly legacy hardware and code combined with ASML support contracts. ASML support is provided on-request remote access to the systems, or someone flies out if the customer is particularly paranoid.
ASML would kill for any tracking or diagnostics to be regularly send back to Eindhoven for R&D purposes, but it mostly doesn’t happen because machine diagnostics data is intertwined with the chip IP.
You realize how much of a complete joke airport security is once you have gone through the security gauntlet to get into a fab.
Getting a laptop into the complex is a difficult. USB drives, cell phones, etc. are carefully controlled. Making a direct connection to a tool in the fab with anything is a major PITA.
Very likely explanation, reminds me of the abomination that is the software stack of Xilinx.
While it's unlikely, the numbers aren't actually as far off as I expected. Maybe they have 10k developers. Maybe the systems have been worked on for 20 years, maybe devs are only doing 100 lines a day. Lots of combinations come to the right order of magnitude here.
However, most engineers in teams of 1k-10k aren't this productive (not necessarily their fault), and much development is rewrites, so I suspect that the actual amount is about an order of magnitude lower.
What might make up the numbers in order for this to be the "headline" summary number, could be that only net lines were counted, or that they use some sort of monorepo where they have e.g. all of Python committed in, all of GCC/LLVM or other toolchains, etc. Add a few toolchains like that and you'll quickly make up the numbers I'm sure.
edit: To give an example from another industry, Dave from EEVBlog has a nice teardown for a DLP projector from the upper price segment. https://www.youtube.com/watch?v=O3eGqjV9yG0
You can argue that an important design criteria building this was often the pricetag of the end product.
ASML is a system integrator. I presume that those numbers include 3rd party SW, and offline tooling and modeling SW.
An ASML machine is IMO more complex than the shuttle, ISS, a 747 and an aircraft carrier, combined.