Q. By using the techniques of formal verification, one can detect the logical bugs of

View solution

Q. The formal verification is important for

View solution

Q. The verification of the logic using formal mathematical tools is called

View solution

Q. The unit that may acts as an interface between the Front end and the Out of order execution engine in the pipeline flow is

View solution

Q. The additional instructions of SSE3 over SSE2 contains

View solution

Q. The data type that the SSE2 instructions doesn’t support is

View solution

Q. Which of the following group is not of SSE instructions?

View solution

Q. The SSE instructions can operate on

View solution

Q. The new instructions that are added in SSE for floating point operations are of

View solution

Q. The feature of SSE among the following is

View solution

Q. For single precision floating point numbers, the SSE instructions are

View solution

Q. The MMX instructions support only

View solution

Q. The Xeon TM processor on which hyperthreading technology was first implemented consists of

View solution

Q. When the operating system uses HALT instruction on a processor which supports multithreading, the operation moves from

View solution

Q. The HALT instruction is a privileged instruction that can be only used by

View solution

Q. The mode that is available when there is only one software thread to execute is

View solution

Q. The instruction that is used when either of the logical processors is idle is

View solution

Q. The hyperthreading technology automatically involves the

View solution

Q. A logical processor may be temporarily stalled for

View solution

Q. Each logical processor maintains a set of architecture state which consists of

View solution