...the theoritical limit. Can we go down to quarks to create a Transistor? What do you think about the Moores law in future? No. Since for the physics computational wanks, the incredible shrinking transitor is frought with one problem. It's a semi-conductor, rather than a laser, a superconductor, or a satellite, or a PV Cell, or a hologram, or a robot. Bye ...

... some degree of confidence that verification happens at multiple levels in a modern chip. That still doesn't prevent bugs. The size ... Equally important, at the scales which modern chips transitors are laid down, transitory effects (e.g. alpha particles) cause values in internal memories to randomly change at a statistically significant rate--we call these "soft-errors" if they ...

... some degree of confidence that verification happens at multiple levels in a modern chip. That still doesn't prevent bugs. The size ... Equally important, at the scales which modern chips transitors are laid down, transitory effects (e.g. alpha particles) cause values in internal memories to randomly change at a statistically significant rate--we call these "soft-errors" if they ...

... the internal state set is infeasible. Equally important, at the scales which modern chips transitors are laid down, transitory effects (e.g. alpha particles) cause values in internal memories ...on "formal verification". Formal verification is based upon a (mathematical) model of how the transitors and their logic works. It idealizes certain (many) aspects of the actual circuits behavior....

... the internal state set is infeasible. Equally important, at the scales which modern chips transitors are laid down, transitory effects (e.g. alpha particles) cause values in internal memories ...on "formal verification". Formal verification is based upon a (mathematical) model of how the transitors and their logic works. It idealizes certain (many) aspects of the actual circuits behavior....