6800 search results - page 982 / 1360 » Testing with Functions as Specifications |
171
click to vote
COMPSAC
1997
IEEE
15 years 11 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
157
click to vote
ICCAD
1997
IEEE
15 years 11 months ago
1997
IEEE
We present a new output encoding problem as follows: Given a specification table, such as a truth table or a finite state machine state table, where some of the outputs are specif...
190
click to vote
ICCAD
1996
IEEE
15 years 11 months ago
1996
IEEE
The analysis of CMOS VLSI circuit switching current has become an increasingly important and difficult task from both a VLSI design and simulation software perspective. This paper...
148
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
The advent of parallel executing Address Calculation Units (ACUs) in Digital Signal Processor (DSP) and Application Specific InstructionSet Processor (ASIP) architectures has made...
158
click to vote
PACT
1997
Springer
15 years 11 months ago
1997
Springer
This paper argues for an alternative way of designing coordination models for parallel and distributed environments based on a complete symmetry between and decoupling of producers...