Synthesis of AMBA AHB from Formal Specification

Details Synthesis of AMBA AHB from Formal Specification Synthesis of AMBA AHB from Formal Specification

2010-01-16

arxiv.org/abs/1001.2811v2

Computer Science

Logic in Computer Science

Scientific paper

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 specification. Bloem et.al. gave formal specifications and synthesize the AMBA AHB Arbiter. Our contributions are as follows:(1) We present more complete and compact formal specifications for the AMBA AHB Arbiter, and obtain significant (order of magnitude) improvement in synthesis results (both with respect to time and the number of gates of the synthesize circuit); (2) we present formal specification and synthesize to generate compact circuits for the remaining two components of the AMBA AHB protocol, namely, the AMBA AHB Master and AMBA AHB Slave; and (3) from the lessons learnt we present few principles for writing formal specifications for efficient hardware synthesis. Thus with intelligently written complete formal specifications we are able to automatically synthesize an important and widely used industrial protocol.

Affiliated with

Also associated with

No associations

Rating

Synthesis of AMBA AHB from Formal Specification does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Synthesis of AMBA AHB from Formal Specification, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Synthesis of AMBA AHB from Formal Specification will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-88328