Abstract Predicate intuitionistic logic is a well-established fragment of dependent types. Proof construction in this logic, as the Curry–Howard isomorphism states, process program synthesis. We present automata that can handle proof and synthesis full first-order logic. Given formula, we construct an automaton such formula provable if only has accepting run. As further research, makes it possi...

We present introductory considerations and analysis toward computing applications based on the recently introduced deterministic logic scheme with random spike (pulse) trains [Phys. Lett. A 373 (2009) 2338–2342]. Also, in considering the questions, “why random?” and “why pulses?”, we show that the random pulse based scheme provides the advantages of realizing multivalued deterministic logic. Pu...

Multilevel Logic Optimization Transformations used in existing logic synthesis systems are characterized with respect to their testability preserving and testability enhancing properties. A su cient condition for a multilevel unate circuit to be \hazard free delay fault testable" is presented. In contrast to existing results that consider either \single path propagating hazard free robust tests...

In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various types of OR-join semantics are used to describe hardware systems composed of concurrent, cooperating hardware components. It is shown that synthesizable VHDL specifications can be created that model the semantics of th...

Logic synthesis is the process of automatically generating optimized logic-level representation from a high-level description. With the rapid advances in integrated circuit technology and the resultant growth in design complexity, designers increasingly rely on logic synthesis to shorten the design time while achieving performance objectives. This paper describes the IBM logic synthesis system ...

this paper introduces an indirect adaptive fuzzy sliding mode controller as a power system stabilizer for damping local and inter-area modes of oscillations of multi-machine power systems. this controller is designed based on the combination of sliding mode controller and the fuzzy logic systems. the fuzzy systems are used to approximate the unknown functions of power system model. generator sp...

Logic synthesis is the process of automatically generating optimized logic level representation from a high-level description. With the rapid advances in integrated circuit technology and the resultant growth in design complexity, designers increasingly rely on logic synthesis to shorten the design time, while achieving performance objectives. This paper describes the IBM logic synthesis system...