AMBA Protocol for ALU

نویسنده

  • K Swetha
چکیده

The proposed project implementation is on AMBA IO System. The bus interface used in the project is AXI Interface Bus. Master and Slave interfaces will be developed according to the proposed AMBA design. The description of the AMBA protocol and various blocks are mentioned below. The Advanced Microcontroller Bus Architecture (AMBA) specification defines an on-chip communications standard for designing highperformance embedded microcontrollers AXI acts as the high-performance system back bone bus. AXI supports the efficient connection of processors, on-chip memories and off-chip outer memory interfaces with low-power peripheral macro cell functions. is also specified to ensure ease of use in an efficient design flow using synthesis and automated test techniques. Memory devices such as SRAM, ROM and FIFO are used as Slave devices and Processor Control Designs are used as master devices for AMBA IO System. The intercommunication will be performed using AMBA Bus with Arbiter. We can have Single Master Single Slave design as well as Multiple Master Multiple Slave devices as per user requirements. The design is implemented using Verilog HDL language. The verification of the design is done using Verilog Test bench. Verification has become one of the time consuming task in design and verification cycle and hence takes up the major chunk of the resources. Since the serial communication protocols are preferred means of data communication, application of Verilog environment for the verification of AMBA IO System has tremendous implementation scope. For the designed AMBA IO system, it is tested automatically by reusable reliable layer verification platform.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Synthesis of AMBA AHB from Formal Specification

The standard procedure for hardware design consists of describing circuit in a hardware description language at logic level followed by extensive verification and logic-synthesis. However, this process consumes significant time and needs a lot of effort. An alternative is to use formal specification language as a high-level hardware description language and synthesize hardware from formal speci...

متن کامل

HPChecker: An AMBA AHB On-Chip Bus Protocol Checker with Efficient Verification Mechanisms

Bus-based system-on-a-chip (SoC) design has become the major integrated methodology for shortening SoC design time. The main challenge is how to verify on-chip bus protocols efficiently. Although traditional simulation-based bus protocol monitors can check whether bus signals obey bus protocol or not. They are still lack of an efficient bus protocols verification environment such as FPGA-level ...

متن کامل

LOW-POWER SYSTEMS-ON-CHIP Bus encoding architecture for low-power implementation of an AMBA-based SoC platform

Advanced microcontroller bus architecture (AMBA) is rapidly becoming the de facto standard for new system-on-chip (SoC) designs. The bus protocol is complex, making any peripherals that can interface to it valuable intellectual property (IP). This paper presents a lowpower bus encoding architecture which is able to deal with the complex advanced highperformance bus (AHB) protocol within AMBA, w...

متن کامل

Model checking the AMBA protocol in HOL

The Advanced Microcontroller Bus Architecture (AMBA) is an open Systemon-Chip bus protocol for high-performance buses on low-power devices. In this report we implement a simple model of AMBA and use model checking and theorem proving to verify latency, arbitration, coherence and deadlock freedom properties of the implementation. Typical microprocessor and memory verifications assume direct conn...

متن کامل

Verification of AMBA Using a Combination of Model Checking and Theorem Proving

The Advanced Microcontroller Bus Architecture (AMBA) is an open System-onChip bus protocol for high-performance buses on low-power devices. We demonstrate the combined use of model checking and theorem proving to verify both control and datapath properties in a seamless manner.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014