Advertisement

On the Stability Semantics of Combinational Programs

  • Tran Van Dung
Conference paper
  • 358 Downloads
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3722)

Abstract

In this paper we prove some properties of combinational programs which is an improvement of the results presented in our previous work. We prove the derivation of loop-programs for combinational ones by both event semantics and stability semantics. We give a normal form for syntactically well-formed combinational programs, and show that for them Dimitrov’s multiple parallel approach and Zhu’s shared store parallel approach are equivalent.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Gordon, M.: Event and Cycle Semantics of Hardware Description Languages. University of Cambridge Computer Laboratory (1998)Google Scholar
  2. 2.
    Hoare, C.A.R., et al.: Laws of Programming. Comm. of the ACM 30(8), 672–686 (1987)zbMATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    Hoare, C.A.R., Jifeng, H.: Unifying Theory of Programming. Prentice-Hall International, Englewood Cliffs (1998)Google Scholar
  4. 4.
    Open VERILOG International. VERILOG Hardware Description Language Reference Manual, Version 1.0Google Scholar
  5. 5.
    Thomas, D.E., Mooby, P.R.: The VERILOG Hardware Description Language. Kluwer Academic Publishers, Dordrecht (1995)zbMATHGoogle Scholar
  6. 6.
    Dung, T.V., JiFeng, H.: A Theory of Combinational Programs. UNU/IIST Report No 162Google Scholar
  7. 7.
    Dung, T.V., JiFeng, H.: A Theory of Combinational Programs. In: Proceedings, APSEC 2001, pp. 325–328 (2001)Google Scholar
  8. 8.
    Huibiao, Z., Bowen, J., JiFeng, H.: Deriving Operational Semantics from Denotational Semantics for Verilog. In: Proceedings, APSEC 2001, pp. 177–184 (2001)Google Scholar
  9. 9.
    Dimitrov, J.: Operational semantics for Verilog. In: Proceedings, APSEC 2001, pp. 161–168 (2001)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Tran Van Dung
    • 1
  1. 1.Hanoi University of Communication and Transport 

Personalised recommendations