DATE
2003
IEEE
13 years 10 months ago
2003
IEEE
Given a plant Å and a specification Å , the largest solution of the FSM equation Å ¯ Å Å contains all possible discrete controllers Å . Often we are interested in computin...
DATE
2003
IEEE
13 years 10 months ago
2003
IEEE
Wireplanning is an approach in which the timing of inputoutput paths is planned before modules are specified, synthesized or sized. If these global wires are optimally segmented ...
DATE
2003
IEEE
13 years 10 months ago
2003
IEEE
DATE
2003
IEEE
13 years 10 months ago
2003
IEEE
This paper focuses on checking safety properties for sequential circuits specified on the RT-level. We study how different state encodings can be used to create a gate-level repr...
DATE
2003
IEEE
13 years 10 months ago
2003
IEEE
While fast timing analysis methods, such as asymptotic waveform evaluation (AWE), have been well established for linear circuits, the timing analysis for non-linear circuits, whic...
DATE
2003
IEEE
13 years 10 months ago
2003
IEEE
In this paper, we present a novel multigrid-based technique for power/ground mesh area optimization subject to reliability constraints. The multigrid-based technique is applied to...
DATE
2003
IEEE
13 years 10 months ago
2003
IEEE
DATE
2003
IEEE
13 years 10 months ago
2003
IEEE
A new method for selecting analog to digital (A/D) converters based on a generic figure of merit is described. First a figure of merit is introduced that includes both specific...
DATE
2003
IEEE
13 years 10 months ago
2003
IEEE
Novel reconfigurable computing architectures exploit the inherent parallelism available in many signalprocessing problems. These architectures often consist of networks of compute...
DATE
2003
IEEE
13 years 10 months ago
2003
IEEE
In this paper, we propose an optimized real-time MPEG-2 video decoder. The decoder has been implemented in one FPGA device as a HW/SW partitioned system. We made time/power-consum...