FUD Zilla claims that Tegra K1 64-bit will be the official name of NVIDIA's Denver chip. This dual-core part has Kepler-based graphics (as denoted by the K in the product's name) and is expected to be released in the second half of this year, it promises to be faster than the ARM Cortex-A57. The other K1 chip is based on the 32-bit ARM Cortex-A15 core.
We got confirmation from Nvidia that its first Denver part got an official name. It will be called Tegra K1 64-bit, kind of a straight shooter approach. Graphics fans are familiar with Tegra, K denotes Kepler and the 64-bit moniker helps. The other K1 is of course 32-bit based, as it still employs ARM's Cortex A15 core. The K1 64-bit brand was confirmed by GM of Tegra unit Deepu Talla.