Sciweavers

297 search results - page 12 / 60
» A systematic method for generating quality requirements spec...
Sort
View
VLSI
2007
Springer
15 years 3 months ago
Impact of hardware emulation on the verification quality improvement
— Software simulation remains the most used method for VHDL RTL functional verification. The functional verification process essentially consists of two parts. The first one is t...
Youssef Serrestou, Vincent Beroulle, Chantal Robac...
RE
2007
Springer
15 years 3 months ago
Goal-Oriented Conceptual Database Design
We present details of a goal-oriented process for database requirements analysis. This process consists of a number of steps, spanning the spectrum from high-level stakeholder goa...
Lei Jiang, Thodoros Topaloglou, Alexander Borgida,...
HYBRID
2007
Springer
15 years 3 months ago
Robust Test Generation and Coverage for Hybrid Systems
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
A. Agung Julius, Georgios E. Fainekos, Madhukar An...
ECBS
2006
IEEE
90views Hardware» more  ECBS 2006»
15 years 3 months ago
Evaluating Alternatives for Architecture-Oriented Refactoring
Refactoring of software systems represents an fundamental way of improving their quality properties. Large-scale refactoring has to be performed at an architectural level to execu...
Sven Wohlfarth, Matthias Riebisch
ITC
1997
IEEE
100views Hardware» more  ITC 1997»
15 years 1 months ago
Signal Generation Using Periodic Single-and Multi-Bit Sigma-Delta Modulated Streams
Abstract- This paper describes a new method to generate analog signals with high precision at very low hardware complexity. This method consists in reproducing periodically a recor...
Benoit Dufort, Gordon W. Roberts