𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Evolvable Hardware based software-hardware Co-designing platform ECDP

✍ Scribed by Tu Hang; Wu Tao-jun; Li Yuan-xiang

Book ID
105626411
Publisher
Wuhan University
Year
2005
Tongue
English
Weight
547 KB
Volume
10
Category
Article
ISSN
1007-1202

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

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