Synthesis of AMBA AHB from formal specification: a case study

@article{Godhal2011SynthesisOA,
  title={Synthesis of AMBA AHB from formal specification: a case study},
  author={Yashdeep Godhal and Krishnendu Chatterjee and Thomas A. Henzinger},
  journal={International Journal on Software Tools for Technology Transfer},
  year={2011},
  volume={15},
  pages={585-601}
}
The standard hardware design flow involves: (a) design of an integrated circuit using a hardware description language, (b) extensive functional and formal verification, and (c) logical synthesis. However, the above-mentioned processes consume significant effort and time. An alternative approach is to use a formal specification language as a high-level hardware description language and synthesize hardware from formal specifications. Our work is a case study of the synthesis of the widely and… CONTINUE READING
BETA
Tweets
This paper has been referenced on Twitter 1 time. VIEW TWEETS

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…