On one hand, engineers must trust sophisticated software to help them craft circuits of mind-boggling complexity; on the other, they maintain a healthy skepticism, knowing a single flaw can doom a chip.
The old mantra "trust, but verify" could well have been coined for this process.