Viable System Verilog Assertions(SVA) Praxis in AMBA AHB-Lite Protocol Design
Seerapu Anil Nagendra1, Pallavi2, M. Murali Krishna3

1S.Anil Nagendra*, VLSI Design(M Tech), GITAM University, Visakhapatnam, India.
2Pallavi, VLSI And Embedded System (M Tech), RNSIT, BANGLORE, India.
3M. Murali Krishna, ECE Department, GITAM University, Visakhapatnam, India.
Manuscript received on July 02, 2020. | Revised Manuscript received on July 10, 2020. | Manuscript published on August 30, 2020. | PP: 30-33 | Volume-9 Issue-6, August 2020. | Retrieval Number: E1096069520/2020©BEIESP | DOI: 10.35940/ijeat.E1096.089620
Open Access | Ethics and Policies | Cite | Mendeley
© The Authors. Blue Eyes Intelligence Engineering and Sciences Publication (BEIESP). This is an open access article under the CC BY-NC-ND license (

Abstract: Digital integrated circuit(ic design entanglement has been far reaching since the demonstration by kil by in this day and age system on chip(soc) design verification accommodate billion , more specifically trillion transistors designs came into existence due to artificial intelligence(ai) designs. The expertise designers tried to ramp up design process by using effective eda tools , still the time wheel move in recursive process. In order to accelerate time wheel of design process specified design methodology needed for every design. The overview of various design methodologies followed in the market now a days. Emulation performance by using veloce platform in bfm mode on ahb lite transmissions. Simulation by using software eda tools is slow going on wheel of design when we go for higher abstraction. Accelerated simulation and emulation using hardware is costly in contrast with software simulation. Prototyping is expedient. Formal verification and intelligent software simulations are frail. The possibility of selection between various hardware engines become ravelled. It develop into perspicuous only amalgamation of engines will assist design verification teams to be triumphant. In this design combination of hardware accelerated simulator as a combination of emulator used to accelerate time wheel by using arm amba ahb lite protocol as a design. 
Keywords: AMBA, AHB LITE, Simulation, Emulation, Assertions