𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Hardware/software co-design of the Stanford FLASH multiprocessor

✍ Scribed by Heinrich, M.; Ofelt, D.; Horowitz, M.A.; Hennessy, J.

Book ID
119781651
Publisher
IEEE
Year
1997
Tongue
English
Weight
174 KB
Volume
85
Category
Article
ISSN
0018-9219

No coin nor oath required. For personal study only.

πŸ“œ 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