This report provides an overview of the current state of reversible sequential logic. We assume that the reader has a basic knowledge of reversible logic. An overview of necessary information is provided in [1]. Most research in reversible logic has concentrated on synthesis techniques for combinational logic. Sequential logic synthesis requires the incorporation of memory cells and feedback in...

The newly developed sequential decomposition synthesis (SDS) method permits the fabrication of ceramic solid electrolytes with thickness close to today's polymer separators and offers opportunities obtain desired phase at reduced temperatures.

CEP www.cepmagazine.org October 2005 25 The design of a chemical process involves synthesis and analysis. Process synthesis is the overall development of a process flowsheet by combining individual steps (equipment and operating conditions) into an optimal arrangement. Process analysis breaks down the flowsheet to evaluate the performance of each individual element as well as how the overall pr...

Several methods have been proposed for synthesizing computer communication protocol specifications starting from service specifications. Some protocol synthesis methods based on the Finite State Machine (FSM) model assume that primitives in the service specifications cannot be executed simultaneously. Others either handle only controlled primitive concurrency or have tight restrictions on the a...

260 What is the minimum amount of carbon dioxide that a process can produce? This may seem like a trivial question but it is not a question usually asked when processes are being designed. In many cases, there is a lack of a quantitative description of what is the highest efficiency, least amount of energy, or lowest amount of carbon dioxide that can be achieved for a particular process, i.e., ...

optimal sequential logic synthesis can produce fallv testable nonscan finite state machines. Test generation algorithms can be used It is well known that optimal logic synthesis can ensure fully to remove all the redundancies in sequential machines resulting in testable combinational logic designs. In this paper. we show that fuily testable designs. However. in general. this method requires opt...

A new test architecture, called TLS (tree-LFSWSR), generates pseudo-exhaustive test patterns for both combinational and sequential VLSI circuit is presented. Instead of using a single scan chain, the proposed test architecture routes a scan tree driven by the LFSR to generate all possible input pattems for each output cone. The new test architecture is able to take advantages of both signal sha...

The application of sequential Ti-/Cu-catalysis in the model one-pot synthesis of benzodiazepine(di)ones promoted by microwave irradiation demonstrates the expediency of dual catalysis in coupling-cyclization methods useful for diversity-oriented synthesis.

Chemical process synthesis methods and tools developed over the last several decades have reached a level of maturity that have provided advantage to practitioners in an environment of increased costs and shrinking margins. Future growth within the chemical process industries is likely to involve even keener competition with greater impact from factors such as raw material and energy availabili...