We present the formal verification of the floating-point multiplier in the Intel IA-32 Pentium 4 microprocessor. The verification is based on a combination of theoremproving and BDD based model-checking tasks performed in a unified hardware verification environment. The tasks are tightly integrated to accomplish complete verification of the multiplier hardware coupled with the rounder logic. Th...

US defense sponsored the DES program in 1971 and released it on 1977. It remained as a well-known and well-accepted defacto standard of block ciphers until 1998. Thirty-two 4-bit DES S-Boxes are grouped in eight each having four and are put in public domain without any mention of their design methodology. Due to this discovery of substitution Boxes, SBoxes, 4-bit, 8-bit or 32-bit, find a perman...

Memory elements play a vital role on Digital World. In memory devices the most important factor is power consumption. Because the power consumption of the memory device increases means, the device reliability and life time is reduced. The basic memory elements of designer considerations are Latch and Flip-flop. In this paper we design SRAM using arrays of flip-flops and we analyze the design of...

EDITORIAL Welcome to our sixth edition of Automotive Compilation! As the previous issues, it presents a range of articles focusing on Atmel's technologies and products. Application hints aim to support designers to create innovative system solutions for the ever-evolving automotive industry. Modern cars contain 70plus Electronic Control Units (ECUs), and the amount of electronics in cars will c...