The digital circuit rewiring technique has been shown to be one of the most powerful logic transformation methods being able to further improve some already excellent results on many EDA problems. In this work a new hybrid rewiring approach that can enjoy advantages from both ATPG-based and graph-based rewiring is proposed. Our hybrid approach utilizes structural characteristics and ATPG technique to perform quick alternative wires identification inside circuits. Experimental results suggest that our hybrid engine is able to achieve about 50% of alternative wires coverage when compared with ATPG-based rewiring engine with 4% of runtime only. For some problems only requiring a good-enough and very quick solution, this new rewiring technique may serve as a useful alternative.

As we all know, singularity is commonly encountered in parallel mechanisms. It is shown that the behavior of singularity of parallel mechanisms could be more complicated than that of serial ones. However, it is not very clear whether singularity will bring problems to kinematics, dynamics or other characteristics and what result will be caused when parallel mechanisms fall into the neighborhood of a singularity. We focus on the study of the undesired effects of singularity in parallel mechanisms and propose a method to solve them, namely the method of redundancy. Three kinds of redundant methods are developed and their advantages are discussed. In the experiments, we concentrate on the control of redundantly actuated parallel mechanisms. We control the parallel mechanisms tracking a given trajectory by kinematic control method and dynamic control method respectively. Experimental results verified the efficiency of the proposed algorithms.

Singularity is a fundamental problem in the analysis of parallel mechanisms. The distribution of singularity in the workspace will determine to a great extent the properties of parallel mechanisms. We study the distribution of actuator singularity, which can also be applied to analyze end-effector singularity. A very important observation has been made that these two kinds of singularities are caused by the parameterization of a configuration manifold by actuator coordinates or end-effector coordinates. Despite the various styles of singularities of parallel mechanisms, there are some rules which govern the behavior of stable singularities. These rules provide some useful ideas in the design of redundant parallel mechanisms so as to achieve better performance in high speed motion and improve their stiffness. Optimal kinematic and dynamic control algorithms are designed and implemented which make use of the redundancy of the parallel mechanism. Experimental results agree with our expectation.