Comments by "Anders Juel Jensen" (@andersjjensen) on "The Growing Semiconductor Design Problem" video.

  1. Intel shipped the original Pentum with a serious calculation bug. As in, you could trigger it in a simple spread sheet...
    19
  2. Apple and AMD uses Synopsys, and if I understand it correctly it's TSMCs preferred EDA. As in, TSMC provides libraries optimized for their nodes for customers who also use Synopsys.
    3
  3.  @mattmexor2882  I've been in the game for over 30 years. There's a reason why the FTC is, among a laundry list of others, moving hard to block the Nvidia purchase of ARM. This has nothing to do with fanboy-ism. It's simply a matter of having observed their practices over two decades. I used to be quite happy with Nvidia... until they pushed a driver update that disabled the PhysX capability of their card if an ATI card was also present in the system (I was running one of each at the time). And PhysX is just one example of Nvidia trying to force out competition with incompatibility (it also happens to be a purchase case). They also used the patents they obtained from 3DFX and S3 to great effect. There's a reason why Nvidia is no longer supplying GPUs to Apple. That deal went sour. There's a reason why Tesla is no longer working with Nvidia. That deal went sour. There's a reason Nvidia only got to deliver the GPU for the original XBox.... So, how about a challenge? You provide me with all the dirt you can find on AMD (since you seem to think I'm an AMD fanboy). Hit me with all the bogus lawsuits, partner back stabbing, patent infringement, vendor-lockin practices, etc that you can find. But in return you watch this for a start, to get a glimpse of why I don't trust Nvidia one little bit: https://www.youtube.com/watch?v=H0L3OTZ13Os Jim (the author of the video) misses a few "glorious" Nvidia moments, but since I don't have sources handy for those I shall spare you any further allegations :P
    2
  4. Many formal verification problems in digital applications boils down to the SAT-3 problem which is NP-Complete, so it can't be solved in realistic runtime (like you get to millions of years on the fastest current CPU even for 64 gates).
    2
  5. Knowing Nvidia's history I would imagine that Oski is of some kind of importance to their competitors and they simply want to "leverage that" in their usual nefarious ways....
    1
  6.  @VasuJaganath  It is for formal verification. It is not enough to find "a solution" if you need it to be "the only solution", which is of paramount importance in security sensitive applications. You should only be able to satisfy the requirements in one, and only one, way.
    1