نتایج جستجو برای: industrial designs

تعداد نتایج: 215430  

Journal: :International Journal of Fluid Mechanics & Thermal Sciences 2020

2009

Industrial Ethernet offers lower cost, higher performance, and superior interoperability over traditional industrial field bus solutions. Many variations of Ethernet technology have been developed to address the various cycle time requirements of industrial applications. As a result, industrial customers must support a myriad of evolving Industrial Ethernet (IE) standards. Today, each new proto...

2008
Oguzhan Alagoz Bryan A. Norman OGUZHAN ALAGOZ BRYAN A. NORMAN ALICE E. SMITH

Determining aisle structures for facility designs using a hierarchy of algorithms Oguzhan Alagoz a; Bryan A. Norman b; Alice E. Smith c a Department of Industrial and Systems Engineering, University of Wisconsin-Madison, Madison, WI, USA b Department of Industrial Engineering, University of Pittsburgh, Pittsburgh, PA, USA c Department of Industrial and Systems Engineering, Auburn University, AL...

2010
Alan Mishchenko Niklas Een Robert Brayton Stephen Jang Maciej Ciesielski Thomas Daniel

This paper presents an industrial-strength CAD system for logic optimization, technology mapping, and formal verification of synchronous designs. The new system, Magic, is based on the code of ABC that has been improved by adding industrial requirements. Distinctive features include: global-view optimizations for area and delay, scalable sequential synthesis, the use of white-boxes for instance...

Journal: :Technometrics 2005
Hongquan Xu Lih-Yuan Deng

Nonregular fractional factorial designs such as Plackett-Burman designs are widely used in industrial experiments for run size economy and flexibility. A novel criterion, called moment aberration projection, is proposed to rank and classify nonregular designs. It measures the goodness of a design through moments of the number of coincidences between the rows of its projection designs. The new c...

2007
Matti Järvisalo

We generate SAT benchmarks encoding the problem of equivalence checking two different industrial hardware designs for integer multiplication.

2016
S. Barner I. Harris D. Kroening Charalambos Ioannides Geoff Barrett Kerstin Eder

Although there are quite a few approaches to Coverage Directed test Generation aided by Machine Learning which have been applied successfully to small and medium size digital designs, it is not clear how they would scale on more elaborate industrial-level designs. This paper evaluates one of these techniques, called MicroGP, on a fully fledged industrial design. The results indicate relative su...

2010
Charalambos Ioannides Geoff Barrett Kerstin Eder

Although there are quite a few approaches to Coverage Directed test Generation aided by Machine Learning which have been applied successfully to small and medium size digital designs, it is not clear how they would scale on more elaborate industrial-level designs. This paper evaluates one of these techniques, called MicroGP, on a fully fledged industrial design. The results indicate relative su...

2008
Roni Wiener Gila Kamhi Moshe Y. Vardi

In this work we introduce an enhanced methodology to detect dynamic invariants from a power-benchmark simulation trace database. The method is scalable for the application of clock-gating extraction on industrial designs. Our approach focuses upon dynamic simulation data as the main source for detection of opportunities for power reduction. Experimental results demonstrate our ability to learn ...

Journal: :JCP 2008
Kaijian Shi Zhian Lin Yi-Min Jiang Lin Yuan

Sleep transistors in industrial power-gating designs are custom designed with an optimal size. Consequently, sleep transistor P/G network optimization becomes a problem of finding the optimal number of sleep transistors and their placement as well as optimal P/G network grids, wire widths and layers. This paper presents a fake via based sleep transistor P/G network synthesis method, which addre...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید