4042 search results - page 93 / 809 » The EXODUS Optimizer Generator |
VLSID
2009
IEEE
15 years 10 months ago
2009
IEEE
We present the automatic test pattern generator TIGUAN based on a thread-parallel SAT solver. Due to a tight integration of the SAT engine into the ATPG algorithm and a carefully ...
CICLING
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. With the current method of query formation, a Question Answering system retrieves a set of documents that are similar to a question, while what is mostly required is a se...
IEEECIT
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper proposes a method of model-driven HW/SW co-design in embedded system design and discusses the key technology of model mapping, automatic generating codes and performanc...
ISCAS
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper presents an Integrated Framework of Design Optimization and Space Minimization (IDOM) for generating the minimum number of functional units with schedule length and mem...
DAC
1994
ACM
15 years 2 months ago
1994
ACM
New placement techniques are presented which substantially improve the process of automatic layout generation of analog IC's. Extremely tight specifications can be enforced o...