Sciweavers

627 search results - page 48 / 126
» integration 1998
Sort
View
IPPS
1998
IEEE
13 years 12 months ago
A Hardware/Software Co-Design System Using Configurable Computing Technology
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...
John Schwel
IPPS
1998
IEEE
13 years 12 months ago
Automatically Proving UNITY Safety Properties with Arrays and Quantifiers
Abstract. We address the general problem of automatically proving safety properties of reactive systems within the UNITY model. We take up a relational and set-based approach, and ...
Xavier Thirioux
DAC
1998
ACM
13 years 12 months ago
Global Routing with Crosstalk Constraints
—Due to the scaling down of device geometry and increasing of frequency in deep submicron designs, crosstalk between interconnection wires has become an important issue in very l...
Hai Zhou, D. F. Wong
ISPD
1998
ACM
110views Hardware» more  ISPD 1998»
13 years 12 months ago
Performance-driven soft-macro clustering and placement by preserving HDL design hierarchy
In this paper, we present a performance-driven softmacro clustering and placement method which preserves HDL design hierarchy to guide the soft-macro placement process. We also pr...
Hsiao-Pin Su, Allen C.-H. Wu, Youn-Long Lin
SIGMOD
1998
ACM
126views Database» more  SIGMOD 1998»
13 years 12 months ago
DataSplash
Database visualization is an area of growing importance as database systems become larger and more accessible. DataSplash is an easy-to-use, integrated environment for navigating,...
Chris Olston, Allison Woodruff, Alexander Aiken, M...