Today, verification of industrial size designs like multi-million gate ASICs (Application Specific Integrated Circuit) and SoC (System-on-a-Chip) processors consumes up to 75% of the design effort. The trend to augment functional verification with formal verification tries to alleviate this problem. Efficient property checking algorithms based on binary decision diagrams (BDDs) and satisfiabili...

Although operational amplifiers and other linear ICs have been applied as audio amplifiers, relatively little documentation has appeared for other audio applications. In fact, a wide variety of studio and industrial audio areas can be served by existing linear devices. The stringent demands of audio requirements often mean that unusual circuit configurations must be used to satisfy a requiremen...

This paper describes an algorithm for the extraction of the critical area for opens. The presented algorithm allows for the analysis of industrial size ICs with non-Manhattan geometry. Illustrative examples of the proposed algorithm, implemented by using design rule checker operations, are presented. It is shown that the extraction of the critical area for realistic size VLSI circuits designs c...

Optimization of industrial styrene reactor design for two objectives using the non-dominated sorting genetic algorithm (NSGA) is studied. Both adiabatic and steam-injected reactors are considered. The two objectives are maximization of styrene production and styrene selectivity. The study shows that styrene reactor design can be optimized easily and reliably for two objectives by NSGA. It provi...

The endosperm in plants is a major source of human nutrition and industrial raw material. The genetic study of endosperm poses a great challenge due to its complex genetic composition and unique physical and developmental properties. In this note, we shall revisit 2 classic mating designs-North Carolina Design III (NCIII) and triple test cross (TTC)-and demonstrate their efficiency in detecting...

We report rational molecular designs for acceleration of the color-fading speed of photochromic 3H-naphthopyrans. By using steric and electrostatic repulsions induced by substituents at the 2- and 10-positions of 3H-naphthopyrans, the color-fading speed accelerates from tens of minutes to microsecond time scales. The long-lived residual color, which is an important problem to be solved for indu...

1 This paper presents a test input data compression technique, which can be used to reduce input test data volume, test time, and the number of required tester channels. The technique is based on grouping data packets and applying various binary encoding techniques, such as Huffman codes and Golomb-Rice codes. Experiments on actual industrial designs and benchmark circuits show an input vector ...

Wireless automation is an emerging field of research, engineering and industrial development that aims at significant savings in installation times and costs of cabling in automation systems, while providing a new level of flexibility for system design, reconfiguration, and agility. It is applicable to both new automation systems and retrofit applications. The use of wireless technologies is ra...

We show how to compute optimal designs and exact analyses of allocation rules for various sequential allocation problems. The problems we have solved include parameter estimation in an industrial scenario, and testing in a clinical trial. Our computational approach incorporates backward induction, dynamic programming, and a new technique of forward induction. By utilizing e cient algorithms and...

Ensuring the functional correctness of hardware early in the design cycle is crucial for both economic and methodological reasons. However, current verification techniques are inadequate for industrial designs. Formal verification techniques are exhaustive but do not scale; partial verification techniques based on simulation scale well but are not exhaustive. This paper discusses promising appr...