Sciweavers

1151 search results - page 144 / 231
» Automatic Generation of Complex Properties for Hardware Desi...
Sort
View
MTV
2003
IEEE
109views Hardware» more  MTV 2003»
15 years 9 months ago
A Methodology for Validation of Microprocessors using Equivalence Checking
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
Prabhat Mishra, Nikil D. Dutt
ICES
1998
Springer
95views Hardware» more  ICES 1998»
15 years 8 months ago
Embryonics: A Microscopic View of the Molecular Architecture
The ontogenetic development of living beings suggests the design of a new kind of multicellular automaton endowed with novel quasi-biological properties: self-repair and self-repli...
Daniel Mange, André Stauffer, Gianluca Temp...
TVCG
2010
157views more  TVCG 2010»
15 years 2 months ago
Metric-Driven RoSy Field Design and Remeshing
—Designing rotational symmetry fields on surfaces is an important task for a wide range of graphics applications. This work introduces a rigorous and practical approach for auto...
Yu-Kun Lai, Miao Jin, Xuexiang Xie, Ying He 0001, ...
TCAD
2008
183views more  TCAD 2008»
15 years 4 months ago
Systematic and Automated Multiprocessor System Design, Programming, and Implementation
Abstract--For modern embedded systems in the realm of highthroughput multimedia, imaging, and signal processing, the complexity of embedded applications has reached a point where t...
Hristo Nikolov, Todor Stefanov, Ed F. Deprettere
ISORC
2000
IEEE
15 years 8 months ago
Architecture, Design Methodology, and Component-Based Tools for a Real-Time Inspection System
We describe a real-time, component-based system for an inspection application. We chose the inspection application and the accompanying task (or scenario) so that we might fully e...
John Albert Horst