Asynchronous circuits have experienced a resurgence due to potential advantages to low-power and high-speed design. The timed signal transition graph model, an interpreted Petri net, is a formal specification that is capable to characterize the temporal behavior of asynchronous circuits by utilizing interval delays. However asynchronous circuits are prone to metastability, which may subside aft...

We present a new approach to hardware veriication based on describing circuits in Monadic Second-order Logic (M2L). We show how to use this logic to represent generic designs like n-bit adders, which are para-meterized in space, and sequential circuits, where time is an unbounded parameter. M2L admits a decision procedure, implemented in the Mona tool 16], which reduces formulas to canonical au...

Among the main algorithmic problems in the veriication of sequential circuits are the computation of good orders of state variables and transition relation partitions. Existing model checking packages like SMV from CMU, VIS from Berkeley or Rulebase from IBM Haifa provide variants of Rudell's sifting algorithm for the variable ordering problem and greedy-type algorithms for the partition orderi...

Temporal modulation unlocks possibilities to dynamically control and modify the response of electromagnetic systems. Employing explicit dependencies circuit or surface parameters on time enables engineering systems with conventionally unachievable functionalities. Here, we propose an alternative approach that emulation can have arbitrary frequency dispersion nonlinear properties, including non-...

In this paper we propose an approach for testing time-domain properties of analog and mixed-signal circuits. The approach is based on an adaptation of a recently developed test generation technique for hybrid systems and a new concept of coverage for such systems. The approach is illustrated by its application to some benchmark circuits.

We propose two different ways to simulate Boolean circuits in the framework of ciliate computations, based on the intramolecular and on the intermolecular gene assembly models with contextual operations applied in a maximal parallel manner. In both cases, the running time and the size of resources of the simulating devices are proportional to the corresponding depth and size of the simulated Bo...

This paper presents a comprehensive case study on electro-mechanical analysis of MEMS[1] variable capacitors. Using the fundamental mechanical and electrical equations, static and dynamic behaviors of the device are studied. The analysis is done for three different modes, namely: dc (static mode), small signal ac and large signal regime. A complete set of equations defining dynamic behavior of ...

Quantum-dot cellular automata (QCA) are an emerging technology and a possible alternative for semiconductor transistor based technologies. A novel fault-tolerant QCA full-adder cell is proposed: This component is simple in structure and suitable for designing fault-tolerant QCA circuits. The redundant version of QCA full-adder cell is powerful in terms of implementing robust digital functions. ...