𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Practical Methodology for the Formal Verification of RISC Processors

✍ Scribed by Sofiéne Tahar; Ramayya Kumar

Book ID
110264238
Publisher
Springer
Year
1998
Tongue
English
Weight
350 KB
Volume
13
Category
Article
ISSN
0925-9856

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Comparison of RISC and DSP processors fo
Comparison of RISC and DSP processors for a transform domain implementation of the discrete wavelet transform
✍ Vipul N. Parikh; Anna Z. Baraniecki 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 384 KB

In this paper we analyse the efficiency of an implementation of the discrete wavelet transform using a modified transform domain approach on several classes of DSP and RISC processors. The recently emerged discrete wavelet transform is faster than a standard Fast Fourier Transform, yet it is computa

A formal approach for the construction a
A formal approach for the construction and verification of railway control systems
✍ Anne E. Haxthausen; Jan Peleska; Sebastian Kinder 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 660 KB

## Abstract This paper describes a complete model-based development and verification approach for railway control systems. For each control system to be generated, the user makes a description of the application-specific parameters in a domain-specific language. This description is automatically tr