Previous efforts to reduce SRAM power have included voltage scaling to the edge of sub-threshold [2] or into the sub-threshold region [3], but only for idle cells. Although some published SRAMs operate at the edge of sub-threshold, none function at sub-threshold supply voltages compatible with logic operating at the minimum energy point. The 0.18μm memory in [4] provides one exception. Consisti...

Abstract We present the STLmc model checker for signal temporal logic (STL) properties of hybrid systems. The tool can perform STL checking up to a robustness threshold wide range Our utilizes refutation-complete SMT-based bounded algorithm by reducing robust problem into Boolean checking. If does not find counterexample, system is guaranteed be correct given bounds and threshold. demonstrate e...

The application of COS/MOS integrated circuits in the construction of a three-valued positional control system is presented. A unit-distance ternary code and the design of a ternary encoder are given. A ternary code converter able to translate this unit-distance code to the signed ternary code is described. A ternary threshold level detector is required to convert a noisy, slowly-changing, anal...

This paper describes a low power threshold logic-gate based on a capacitive input, charge recycling differential sense amplifier latch. The gate is shown to have low power dissipation and high operating speed, as well as robustness under process, temperature and supply voltage variations. This is followed by the main result, which is the development of a novel, low depth, carry lookahead additi...

EEG signals are the signatures of neural activities and are captured by multiple-electrodes and the signals are recorded from pairs of electrodes. To acquire these multichannel signals a low power CMOS circuit was designed and implemented. The design operates in weak inversion region employing sub threshold source coupled logic. A 16 channel differential multiplexer is designed by utilizing a t...

This paper is an in-depth review on silicon implementations of threshold logic gates that covers several decades. In this paper, we will mention early MOS threshold logic solutions and detail numerous very-large-scale integration (VLSI) implementations including capacitive (switched capacitor and floating gate with their variations), conductance/current (pseudo-nMOS and output-wired-inverters, ...

This paper investigates when two abstract logic-based argumentation systems are equivalent. It defines various equivalence criteria, investigates the links between them, and identifies cases where two systems are equivalent with respect to each of the proposed criteria. In particular, it shows that under some reasonable conditions on the logic underlying an argumentation system, the latter has ...

Rearranging of the logic equations which define the carry lookahead principle and using floating gate circuits allow us to obtain adders with a better performance than the traditional ones. The functions defining functionality of the adder are expressed as threshold functions which have been implemented by resorting to νMOS circuits. A 64 bit adder has been implemented using this approach in a ...