𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A software/hardware co-design methodology for embedded microprocessor core design

✍ Scribed by Yong Zhang; Kai Kuang Ma; Qindong Yao


Book ID
117871569
Publisher
IEEE
Year
1999
Tongue
English
Weight
325 KB
Volume
45
Category
Article
ISSN
0098-3063

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A design method for embedded software sy
✍ Anders P. Ravn; Hans Rischel; Hans Henrik LΓΈvengreen πŸ“‚ Article πŸ“… 1988 πŸ› Springer Netherlands 🌐 English βš– 706 KB
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