Surely determining which trace is connected to which would be hard at intersections, but:
- You can hypothetically print it yourself, scanning each layer separately
- I wonder if some design patterns couldn't be used to prove the circuit wouldn't work if a crossing point was shorted or cut
- you could have additionnal, easier-to-check verification circuits
- if ordering big circuits, it might be possible to order them whole, as well as layer-by-layer. One could verify each layer, measure it, compute the inertia matrix of the whole and verify it matches.
If the feature size is big, though, I'd be wary of discrete components that could have been planted there.
- You can hypothetically print it yourself, scanning each layer separately
- I wonder if some design patterns couldn't be used to prove the circuit wouldn't work if a crossing point was shorted or cut
- you could have additionnal, easier-to-check verification circuits
- if ordering big circuits, it might be possible to order them whole, as well as layer-by-layer. One could verify each layer, measure it, compute the inertia matrix of the whole and verify it matches.
If the feature size is big, though, I'd be wary of discrete components that could have been planted there.