Synthesis of AMBA AHB from formal specification: a case study

  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},
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
This paper has been referenced on Twitter 1 time. VIEW TWEETS


Publications citing this paper.

Similar Papers

Loading similar papers…