5762 search results - page 373 / 1153 » R-tree: A Hardware Implementation |
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 ...
174
Voted
ECBS
1999
IEEE
15 years 11 months ago
1999
IEEE
Model-Integrated Computing, specifically Model-Integrated Program Synthesis (MIPS) environments that include visual model building, constraint management, and automatic program sy...
142
click to vote
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
The paper introduces an Internet based development system for Xputers, which combines an application development framework with a runtime support to run applications on the real h...
168
click to vote
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
A new class of non-totally symmetric functions which can be represented as simple regular symmetric arrays without redundancy is identified. Regular circuits are becoming crucialy...
163
click to vote
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract-- Two-dimensional (2-D) discrete systems with periodic coefficients are considered for stability. These systems are called periodically shift variant (PSV) digital filters...