1 “... can contain several million transistors, verification of such large designs becomes more and more...”

2 “... miniaturization of integrated circuits will reach its limits in the near future. Shrinking transistor sizes...”