𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Multilevel design and verification of hardware/software systems

✍ Scribed by Philipson, L.

Book ID
119773436
Publisher
IEEE
Year
1990
Tongue
English
Weight
710 KB
Volume
25
Category
Article
ISSN
0018-9200

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Design of hardware and software systems
Design of hardware and software systems
✍ Krzysztof Kuchcinski πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 113 KB

Developments in electronic technology have made it possible to manufacture complex computer systems. Current microprocessors contain millions of transistors and implement a complex functionality. At the same time an accompanying development in the computer architecture area resulted in different hig

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

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