𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Verification of DSP simulation by comparison with the hardware

✍ Scribed by Jim Chance

Book ID
103537301
Publisher
Elsevier Science
Year
1988
Tongue
English
Weight
655 KB
Volume
12
Category
Article
ISSN
0141-9331

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Verification of the Maxwell–Stefan theor
Verification of the Maxwell–Stefan theory for mixture diffusion in zeolites by comparison with MD simulations
✍ R. Krishna πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 187 KB

The Maxwell-Stefan formulation for mixture diffusion, in principle, allows us to predict the diffusion characteristics of mixtures on the basis of information of the pure component Maxwell-Stefan diffusivities at zero loading. The interaction between the diffusing, sorbed, species is taken into acco

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

Detailed numerical simulations of the mu
Detailed numerical simulations of the multistage self-ignition process of n-heptane, isolated droplets and their verification by comparison with microgravity experiments
✍ S. Schnaubelt; O. Moriue; T. Coordes; C. Eigenbrod; H.J. Rath Zarm πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 210 KB

Detailed understanding of the basic physical and chemical processes of self-ignition phenomena for technical fuel sprays is required for many technical combustion applications. Because single droplets as the basic elements of fuel sprays allow the study of fundamental ignition behavior, this work fo