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...

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...

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...

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...

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

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...

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...

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 ...

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...