Sciweavers

207 search results - page 21 / 42
» ideas 1998
Sort
View
DATE
1998
IEEE
100views Hardware» more  DATE 1998»
14 years 1 months ago
Combinational Verification based on High-Level Functional Specifications
We present a new combinational verification technique where the functional specification of a circuit under verification is utilized to simplify the verification task. The main id...
Evguenii I. Goldberg, Yuji Kukimoto, Robert K. Bra...
DEXAW
1998
IEEE
124views Database» more  DEXAW 1998»
14 years 1 months ago
Managing Evolution of Coordination Aspects in Open Systems
Most of the work on coordination technology so far has focused on the development of special coordination languages and environments that provide the basic mechanisms for realizin...
Juan Carlos Cruz, Sander Tichelaar
EUROMICRO
1998
IEEE
14 years 1 months ago
System Level Modelling for Hardware/Software Systems
Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisat...
Jeroen Voeten, P. H. A. van der Putten, Marc Geile...
HPCA
1998
IEEE
14 years 1 months ago
Virtual-Physical Registers
A novel dynamic register renaming approach is proposed in this work. The key idea of the novel scheme is to delay the allocation of physical registers until a late stage in the pi...
Antonio González, José Gonzál...
HPCA
1998
IEEE
14 years 1 months ago
Supporting Highly-Speculative Execution via Adaptive Branch Trees
Most of the prediction mechanisms predict a single path to continue the execution on a branch. Alternatively, we may exploit parallelism from either possible paths of a branch, di...
Tien-Fu Chen