Author:
Carchiolo Vincenza,Malgeri Michele,Mangioni Giuseppe
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. 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)
2. 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)
3. 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)
4. Turner, K.J.: DILL – Digital logic in LOTOS. In: Formal Description Techniques, FORTE VII, Boston. North-Holland, Amsterdam (October 1993)
5. IEEE std 1076-1987. Standard VHDL Language Reference Manual. IEEE (1988)