1886 search results - page 35 / 378 » Verifying and Validating Simulation Models |
138
click to vote
EMSOFT
2010
Springer
15 years 2 months ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
140
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
Increase in system level modeling has given rise to a need for efficient functional validation of models above cycle accurate level. This paper presents a technique for comparing...
129
click to vote
ICCS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper we address the problem of granting the correctness of Grid computations. We introduce a Grid Integrity Validation Scheme (GIVS) that may reveal the presence...
175
click to vote
BMAS
2000
IEEE
15 years 9 months ago
2000
IEEE
The VHDL based mixed-signal event-driven (MixED) simulation method is employed to simulate a sigma-delta modulator for A/D conversion. Results are verified by experimental data an...
168
click to vote
ISORC
1999
IEEE
15 years 8 months ago
1999
IEEE
Component-based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real-time systems. In this paper th...