𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Hardware/software co-design then and now

✍ Scribed by Niklaus Wirth

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
144 KB
Volume
88
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.

✦ Synopsis

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 increasingly blurring the distinction between hardware and software, and thereby seems to render co-design an obvious, unavoidable strategy.

This paper is dedicated to Wlad Turski, my old colleague and faithful friend in Warsaw since the times when "Eastern Europe" still belonged to a different world.

πŸ“œ SIMILAR VOLUMES

Formal verification of hardware/software
Formal verification of hardware/software co-designs with translation into representation by state transitions
✍ Tasuku Nishihara; Takeshi Matsumoto; Satoshi Komatsu; Masahiro Fujita πŸ“‚ Article πŸ“… 2007 πŸ› John Wiley and Sons 🌐 English βš– 332 KB

## Abstract In this paper we present a methodology for formal verification of hardware/software co‐designs which are represented in RTL/program codes. Two methodologies are proposed. One is for property checking of the above‐mentioned co‐designs, and the other is for equivalence checking between de

Hardware and software to design virtual
Hardware and software to design virtual laboratory for education in instrumentation and measurement
✍ Domenico Grimaldi; Sergio Rapuano πŸ“‚ Article πŸ“… 2009 πŸ› Elsevier Science 🌐 English βš– 376 KB

The multimedia tools play an important role in both the management of the lectures and the organization of the course programs on instrumentation and measurement. In this scenario, the virtual laboratory (VL) represents the environment in which the learning activities are performed. Starting from th