6800 search results - page 208 / 1360 » Testing with Functions as Specifications |
196
click to vote
DAC
1996
ACM
15 years 8 months ago
1996
ACM
- Functional verification of the new generation microprocessor developed by SGS-THOMSON Microelectronics makes extensive use of advanced technologies. This paper presents a global ...
141
Voted
MCS
2000
Springer
15 years 7 months ago
2000
Springer
We introduce a mechanism for constructing and training a hybrid architecture of projection based units and radial basis functions. In particular, we introduce an optimization sche...
149
click to vote
JFP
2006
15 years 4 months ago
2006
This paper introduces reFLect, a functional programming language with reflection features intended for applications in hardware design and verification. The reFLect language is st...
126
Voted
ENGL
2007
15 years 4 months ago
2007
—This paper presents the application of quality function deployment (QFD) to process analysis. QFD has been applied in various industries since the 1960s, but traditional QFD met...
160
Voted
SAC
2008
ACM
15 years 3 months ago
2008
ACM
Despite its relatively short history, a wealth of formalisms exist for algebraic specification of stochastic systems. The goal of this paper is to give such formalisms a unifying ...