He has the athletic ability, so why not?

They're using his athletic ability where they see him fit to be most productive. He's still going to be the same Jason Taylor, the All- Pro pass rusher he's been over the years. So you can't overlook that. We have to just go out and play our game and take care of it the best way possible. He's going to line up where he's going to line up.

Engineers now have the ability to formally specify properties of their hardware design model using an industry standard, and then verify these properties in dynamic verification (that is, simulation) or static verification (that is, formal verification). Prior to IEEE 1850, there were multiple proprietary ways of specifying properties and assertions, but not a standard. This meant that the same specification could not be used across multiple tools. With a new standard, a single form of specification can be reused across multiple processes.

Engineers now have the ability to formally specify properties of their hardware design model using an industry standard, and then verify these properties in dynamic verification (that is, simulation) or static verification (that is, formal verification), ... Prior to IEEE 1850, there were multiple proprietary ways of specifying properties and assertions, but not a standard. This meant that the same specification could not be used across multiple tools. With a new standard, a single form of specification can be reused across multiple processes.

Man compared to nature is a woman.

A Dwarfe on a Gyants shoulder sees further of the two. [A dwarf on a giant's shoulder sees farther of the two.]