ISSN 2229-5518
Abstract— System-on-a-Chip (SoC) design has become more and more complexly. Because difference functions components or IPs (Intellectual
Property) will be integrated within a chip. The challenge of integration is “how to verify on-chip communication properties”. Although traditional
simulation-based on-chip bus protocol checking bus signals to obey bus transaction behavior or not, however, they are still lack of a chip -level dynamic
verification to assist hardware debugging. We proposed a rule based synthesizable AMBA AXI protocol . The AXI protocol contains 44 rules to check
on-chip communication properties accuracy. In the verification strategy, we use the Synopsys VIP (Verification IP) to verify AXI protocol checker .The
chip cost of AXI protocol checker is 70.7K gate counts and critical path is 4.13 ns (about 242 MHz) under TSMC 0.18um CMOS 1P 6M Technology. . In
the experimental results, we show the burst based transactions such as read,write,handshake mechanisms and some of the AXI protocol rules
stimulated in MODELSIM ALTERA.
Index Terms—: System-on-a-Chip (SoC), simulation-based on-chip bus protocol checking, Verification IP,Verilog,AMBA AXI protocol
1 INTRODUCTION
In recent years, the improvement of To speed up SoC integration and promote IP reuse,
the semiconductor process technology and the market several bus-based communication architecture standards
requirement increasing. More difference functions IPs are have emerged over the past several years. Since the early
integrated within a chip. Maybe each IPs had completed 1990s, several on-chip bus-based communication
design and verification. But the integration of all IPs could architecture standards have been proposed to handle the
not work together. The more common problem is violation communication needs of emerging SoC design. Some of the
bus protocol or transaction error. The bus-based popular standards include ARM Microcontroller Bus
architecture has become the major integrated methodology Architecture (AMBA) versions 2.0 and 3.0, IBM Core
for implementing a SoC. The on-chip communication Connect, STMicroelectronics STBus, Sonics SMARRT
specification provides a standard interface that facilitates Interconnect, Open Cores Wishbone, and Altera Avalon[1].
IPs integration and easily communicates with each IPs in a On the other hand, the designers just integrate their owned
SoC. The semiconductor process technology is changing at IPs with third party IPs into the SoC to significantly reduce
a faster pace during 1971 semiconductor process design cycles. However, the main issue is that how to
technology was 10μm, during 2010 the technology is efficiently make sure the IP functionality, that works
reduced to 32nm and future is promising for a process correctly after integrating to the corresponding bus
technology with 10nm. Intel, Toshiba and Samsung have architecture.
reported that the process technology would be further There are many verification works based on formal
reduced to 10nm in the future. So with decreasing process verification techniques [2]-[6]. Device under test (DUT) is
technology and increasing consumer design constraints modeled as finite-state transition and its properties are
SoC has evolved, where all the functional units of a system written by using computation tree logic (CTL) [7], and then
are modeled on a single chip. using the verification tools is to verify DUT’s behaviors [8]-
[10]. Although formal verification can verify DUT’s
———————————————— behaviors thoroughly, but here are still unpredictable bug
in the chip level, which we want to verify them.
Choragudi Monohar is currently working in KAKINADA The benefits of using rule-based design include
INSTITUTE OF ENGINEERING AND TECHNOLOGY , KAKINADA improving observability, reducing debug time, improving
and has an experience of five years in Academics .Completed Masters
degree program in Digital Electronics and Commuctuion Systems from integration through correct usage checking, and improving
Guddlavalleru Engg College,JNTU Kakinada,Andhra Pradesh,India, communication through documentation. In the final
PH+91-9505042930.
purpose, increasing design quality while reducing the time-
V N M BrahmanandamK is currently pursuing masters degree program in to-market and verification costs [19]. We anticipate that the
Very Large Scale Integration and System Design in Kakinada Institute of AMBA AXI protocol checking technique will be more and
Engg and Technology,JNTU Kakinada, Andhra Pradesh,India, PH-+91-
9290058990. E-mail: mailme_brahmi@yahoo.com more important in the future. Hence, we propose a
IJSER © 2012
http://www.ijser.org
International Journal of Scientific & Engineering Research Volume 3, Issue 7, July-2012 2
ISSN 2229-5518
IJSER © 2012
http://www.ijser.org
International Journal of Scientific & Engineering Research Volume 3, Issue 7, July-2012 3
ISSN 2229-5518
TABLE 1
Signal descriptions of AMBA AXI3 protocol. When the slave has accepted all the data items, it drives
a write response signal BRESP[1:0] back to the master to
indicate that the write transaction is complete. This signal
indicates the status of the write transaction. The allowable
responses are OKAY, EXOKAY, SLVERR, and DECERR.
After the read address appears on the address bus, the data
transfer occurs on the read data channel as shown in fig. 2.
The slave keeps the VALID signal LOW until the read data
is available. For the final data transfer of the burst, the slave
asserts the RLAST signal to show that the last data item is
being transferred. The RRESP[1:0] signal indicates the
status of the read transfer. The allowable responses are
OKAY, EXOKAY, SLVERR, and DECERR.
IJSER © 2012
http://www.ijser.org
International Journal of Scientific & Engineering Research Volume 3, Issue 7, July-2012 4
ISSN 2229-5518
2 RELATED WORK
IJSER © 2012
http://www.ijser.org
International Journal of Scientific & Engineering Research Volume 3, Issue 7, July-2012 5
ISSN 2229-5518
3 SIMULATION
IJSER © 2012
http://www.ijser.org
International Journal of Scientific & Engineering Research Volume 3, Issue 7, July-2012 6
ISSN 2229-5518
IJSER © 2012
http://www.ijser.org
International Journal of Scientific & Engineering Research Volume 3, Issue 7, July-2012 7
ISSN 2229-5518
REFERENCES
IJSER © 2012
http://www.ijser.org