Abstract
Raising complexity of hardware devices being developed and increasing time-to-market constraints has scaled up the risk of designing bug-affected devices augmenting the interest into formal design techniques. This approach considerably improves early error detection, giving good guaranties on the effectiveness of the devices produced. To deploy the design some techniques must be provided to synthesise the device preserving its features. The proposed technique defines an hardware translation of LOTOS specifications into a Register Transfer Level language. To preserve LOTOS synchronisation semantics an handshake protocol is defined.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Carchiolo, V., Malgeri, M., Mangioni, G.: Hardware/Software synthesis of formal specifications in Codesign of embedded systems. ACM Transactions on Design Automation of Electronic Systems (TODAES) 6 (January 2001)
ISO-IS-8807. Information Processing Systems, Open System Interconnection, LOTOS, A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. ISO (June 1988)
Faci, M., Logrippo, L.: Specifying Hardware in LOTOS. In: Proceedings of CHDL 1993, IFIP Conference on Hardware Description Languages and their Applications, Ottawa (April 1993)
Turner, K.J.: DILL – Digital logic in LOTOS. In: Formal Description Techniques, FORTE VII, Boston. North-Holland, Amsterdam (October 1993)
IEEE std 1076-1987. Standard VHDL Language Reference Manual. IEEE (1988)
Katagiri, H., Yasumoto, K., Higashino, T., Taniguchi, K.: Hardware implementation of communication protocols modeled by concurrent EFSM with multi-way synchronization. In: Proceedings of 37th Design Automation Conference, Los Angelese, CA (June 2000)
Milner, R.: A Calculus of Communication Systems. LNCS, vol. 92. Springer, Heidelberg (1980)
Hoare, C.A.R.: Communicating Sequential Processes. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1985)
Mahr, B., Ehrig, H.: Fundamentals of Algebraic Specifications. In: EATCS Monographs on Computer Science, vol. 1. Springer, Heidelberg (1985)
Mead, C., Conway, L.: introduction to VLSI systems. Haddison-Wesley (1980)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Carchiolo, V., Malgeri, M., Mangioni, G. (2003). From Specification to Hardware Device: A Synthesis Algorithm. In: Dong, J.S., Woodcock, J. (eds) Formal Methods and Software Engineering. ICFEM 2003. Lecture Notes in Computer Science, vol 2885. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39893-6_37
Download citation
DOI: https://doi.org/10.1007/978-3-540-39893-6_37
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20461-9
Online ISBN: 978-3-540-39893-6
eBook Packages: Springer Book Archive