Communicating sequential processes
Communicating sequential processes
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
The algebraic specification language LOTOS: an industrial experience
Conference proceedings on Formal methods in software development
The Chinook hardware/software co-synthesis system
ISSS '95 Proceedings of the 8th international symposium on System synthesis
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Codesign of Communication Protocols
Computer
Hardware-Software Cosynthesis for Digital Systems
IEEE Design & Test
Introduction of Quantitative Relative Time into LOTOS
Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII
HardwareC -- A Language for Hardware Design (Version 2.0)
HardwareC -- A Language for Hardware Design (Version 2.0)
Hi-index | 0.00 |
In the last few years researchers have attempted to adopt a unified approach to the design of mixed hardware/software systems by using codesign techniques. In all the hardware/software codesign methods proposed there are usually four steps: specification of the system, testing and/or verification of the specification, partitioning and synthesis of the hardware and software parts. In this paper we deal with some of the problems concerning hardware synthesis in a hardware/software codesign methods we are developing. More specifically, we show how it is possible to translte a specification written in TTL (Templated T-Lotos), a description technique based on the CCS and CSP formal models, into a hardware device possessing the same properties as the original model.