Sciweavers

564 search results - page 90 / 113
» Wireplanning in logic synthesis
Sort
View
DATE
2009
IEEE
88views Hardware» more  DATE 2009»
14 years 2 months ago
Rewiring using IRredundancy Removal and Addition
—Redundancy Addition and Removal (RAR) is a restructuring technique used in the synthesis and optimization of logic designs. It can remove an existing target wire and add an alte...
Chun-Chi Lin, Chun-Yao Wang
GECCO
2009
Springer
112views Optimization» more  GECCO 2009»
14 years 1 months ago
Approximating geometric crossover in semantic space
We propose a crossover operator that works with genetic programming trees and is approximately geometric crossover in the semantic space. By defining semantic as program’s eval...
Krzysztof Krawiec, Pawel Lichocki
RV
2009
Springer
94views Hardware» more  RV 2009»
14 years 1 months ago
Monitor Circuits for LTL with Bounded and Unbounded Future
Synthesizing monitor circuits for LTL formulas is expensive, because the number of flip-flops in the circuit is exponential in the length of the formula. As a result, the IEEE st...
Bernd Finkbeiner, Lars Kuhtz
IOLTS
2008
IEEE
117views Hardware» more  IOLTS 2008»
14 years 1 months ago
Verification and Analysis of Self-Checking Properties through ATPG
Present and future semiconductor technologies are characterized by increasing parameters variations as well as an increasing susceptibility to external disturbances. Transient err...
Marc Hunger, Sybille Hellebrand
AHS
2007
IEEE
231views Hardware» more  AHS 2007»
14 years 1 months ago
Debug Support for Hybrid SoCs
System-on-Chip devices containing both conventional and reconfigurable circuits are increasing in popularity. However the on-chip debug support infrastructure required to aid syst...
Andrew B. T. Hopkins, Klaus D. McDonald-Maier