7580 search results - page 316 / 1516 » Prometheus design tool |
150
click to vote
ICES
2003
Springer
15 years 10 months ago
2003
Springer
This paper presents a methodology to design optimized electronic systems from high abstraction level descriptions. The methodology uses Genetic Programming in addition to high-leve...
121
click to vote
SIGCSE
2000
ACM
15 years 9 months ago
2000
ACM
We propose an object-oriented (OO) formulation and implementation of lazy/delayed evaluation by reusing and extending an existing linear recursive structure (LRS) framework with t...
146
Voted
DATE
1999
IEEE
1999
IEEE
Accounting for Various Register Allocation Schemes During Post-Synthesis Verification of RTL Designs
15 years 9 months ago
This paper reports a formal methodology for verifying a broad class of synthesized register-transfer-level (RTL) designs by accommodating various register allocation/optimization ...
149
click to vote
EKAW
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. Conceptual Information Systems unfold the conceptual structure of data stored in relational databases. In the design phase of the system, conceptual hierarchies have to b...
133
click to vote
IPPS
1998
IEEE
15 years 9 months ago
1998
IEEE
Virtual Computer Corporation has combined the latest reconfigurable component technology with a number of advanced software tools in one easy to use `system approach' to digi...