2344 search results - page 31 / 469 » Generating from a Deep Structure |
97
Voted
ICCAD
1996
IEEE
15 years 6 months ago
1996
IEEE
We propose a new method for generating BDDs from hardware algorithm descriptions written in a programming language. Our system can deal with control structures, such as conditiona...
118
click to vote
IPPS
2002
IEEE
15 years 7 months ago
2002
IEEE
Object-oriented programming, design patterns, and frameworks are common techniques that have been used to reduce the complexity of sequential programming. We have applied these te...
152
Voted
ICPP
1991
IEEE
15 years 6 months ago
1991
IEEE
Data decomposition is probably the most successful method for generating parallel programs. In this paper a general framework is described for the automatic generation of parallel...
121
Voted
DAC
2002
ACM
16 years 3 months ago
2002
ACM
This paper presents novel uses of functional interface specifications for verifying RTL designs. We demonstrate how a simulation environment, a correctness checker, and a function...
147
click to vote
CICLING
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Bridging the gap between the specification of software requirements and actual execution of the behavior of the specified system has been the target of much research in r...