Bond graphs are suitable tools for modeling many types of dynamical systems and can model these systems consisting of mechanical, electrical, fluidic, and pneumatic sub-systems. The advantage of a bond graph is that it can model non-linear systems and combinational systems. In this paper, the authors utilize bond graphs for modeling mechatronics systems. Mechatronics systems consist of mechanic...

SEARCH ALGORITHMS FOR SATISFIABILITY PROBLEMS IN COMBINATIONAL SWITCHING CIRCUITS by João Paulo Marques da Silva Chair: Karem A. Sakallah A number of tasks in computer-aided analysis of combinational circuits, including test pattern generation, timing analysis, delay fault testing and logic verification, can be viewed as particular formulations of the satisfiability problem (SAT). The first pur...

We present a new sum-of-product-based asynchronous architecture, called the N-SHOT architecture, that operates correctly under internal hazardous responses and guarantees hazard-freeness at the observable noninput signals. We formally prove that within this architecture, a very wide class of semimodular state graphs with input choices (either distributive or nondistributive) that satisfy the co...

This paper presents H-SCAN, a practical testing methodology that can be easily applied to a high-level design specification. H-SCAN allows the use of combinational test patterns without the high area and test application time overheads associated with full-scan testing. Connectivities between registers existing in an RT-level design are exploited to reduce the area overhead associated with impl...

In this paper, an analysis is presented, which demonstrates the effect pre-logic factoring could have on an automated combinational logic synthesis process succeeding it. The impact of pre-logic factoring for some arbitrary combinatorial circuits synthesized within a FPGA based logic design environment has been analyzed previously. This paper explores a similar effect, but with the non-regenera...

A new design methodology for a pattern generator is proposed, formulated in the context of on-chip BIST. The design methodology is circuit-specific and uses synthesis techniques to design BIST generators. The pattern generator consists of two components: a pseudorandom pattern generator (like an LFSR or, preferably, a GLFSR) and a combinational logic to map the outputs of the pseudorandom patte...

Advanced-stage ovarian cancer is characterized by high mortality due to development of resistance to conventional chemotherapy. Novel compounds that can enhance the efficacy of conventional chemotherapy in ovarian cancer may overcome this drug resistance. Consumption of green tea (epigallocatechin gallate, EGCG) and cruciferous vegetables (sulforaphane, SFN) is inversely associated with occurre...

Retiming is a technique for optimizing sequential circuits. It repositions the registers in a circuit leaving the combinational cells untouched. The objective of retiming is to nd a circuit with the minimum number of registers for a speci ed clock period. More than ten years have elapsed since Leiserson and Saxe rst presented a theoretical formulation to solve this problem for single-clock edge...