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

A Compositional Framework for Hardware/Software Co-Design

โœ Scribed by A. Cau; R. Hale; J. Dimitrov; H. Zedan; B. Moszkowski; M. Manjunathaiah; M. Spivey

Book ID
110348603
Publisher
Springer US
Year
2002
Tongue
English
Weight
262 KB
Volume
6
Category
Article
ISSN
0929-5585

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Hardware/software co-design then and now
Hardware/software co-design then and now
โœ Niklaus Wirth ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 144 KB

Hardware/software co-design recently became a field of research and a method of development both important and fashionable. We show that it is a technique already used some decades ago, and discuss its various aspects, forms and benefits. At the same time, the advent of programmable devices is incre

TTL: a modular language for hardware/sof
TTL: a modular language for hardware/software systems design
โœ 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