53302 search results - page 348 / 10661 » On the design of a |
187
click to vote
DATE
1999
IEEE
1999
IEEE
Accounting for Various Register Allocation Schemes During Post-Synthesis Verification of RTL Designs
15 years 11 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 ...
191
click to vote
EKAW
1999
Springer
15 years 11 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...
132
click to vote
IEAAIE
1999
Springer
15 years 11 months ago
1999
Springer
This paper introduces a new approach in the debugging of hardware designs. The design is given as a VHDL program and converted in a component connection model. The conversion is si...
179
click to vote
ICRA
1998
IEEE
15 years 11 months ago
1998
IEEE
A haptic display system is presented for manipulating virtual mechanisms derived from a mechanical CAD design. Links are designed and assembled into mechanisms using Utah's A...
164
click to vote
IPPS
1998
IEEE
15 years 11 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...