๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A system-level communication synthesis approach for hardware/software systems

โœ Scribed by Tarek Ben Ismail; Jean-Marc Daveau; Kevin O'Brien; Ahmed Amine Jerraya


Publisher
Elsevier Science
Year
1996
Tongue
English
Weight
846 KB
Volume
20
Category
Article
ISSN
0141-9331

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


TTL: a modular language for hardware/sof
โœ Vincenza Carchiolo; Michele Malgeri; Giuseppe Mangioni ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 334 KB

The development of tools for the design of both hardware and software systems draws great benefits from the use of formal methods, especially if they offer a descriptive capacity which covers real applications. On the basis of the T-LOTOS language, a language called TTL has been developed, which add