2344 search results - page 31 / 469 » Generating from a Deep Structure |
70
Voted
ICCAD
1996
IEEE
15 years 3 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...
IPPS
2002
IEEE
15 years 4 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...
122
click to vote
ICPP
1991
IEEE
15 years 2 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...
DAC
2002
ACM
15 years 12 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...
113
click to vote
CICLING
2009
Springer
15 years 11 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...