• Title/Summary/Keyword: Logic

Search Result 7,587, Processing Time 0.046 seconds

A Method to Generate Test Patterns for Scan Designed Logic Circuits under Logic Value Constraints (논리값 제약을 갖는 스캔 설계 회로에서의 자동 시험 패턴 생성)

  • Eun Sei Park
    • Journal of the Korean Institute of Telematics and Electronics A
    • /
    • v.31A no.2
    • /
    • pp.94-103
    • /
    • 1994
  • In testing for practical scan disigned logic circuits, there may exist logic value constraints on some part of primary inputs due to various requirements on design and test. This paper presents a logic value system called taboo logic values which targets the test pattern generation of logic circuits under logic value constraints. The taboo logic system represents the logic value constraints and identifies additional logic value constraints through the implication of the tqaboo logic values using a taboo logic calculus. Those identified logic value constraints will guide the search during the test pattern generation of avoid the unfruitful searches and to identify redundant faults due to the logic value constraints very quickly. Finally, experimental results on ISCAS85 benchmark circuits will demonstrate the efficiency of the taboo logic values.

  • PDF

Printed Active-Matrix Displays

  • Burns, S.E.;Kuhn, C.;Jacobs, K.;Ramsdale, C.;Arias, A.C.;Watts, J.;Etchells, M.;Chalmers, K.;Devine, P.;Murton, N.;Norval, S.;King, J.;Mills, J.;Sirringhaus, H.;Friend, R.H.
    • 한국정보디스플레이학회:학술대회논문집
    • /
    • 2003.07a
    • /
    • pp.227-229
    • /
    • 2003
  • We present a process for printing active matrix displays. In this process, transistors are fabricated using soluble semi-conducting and conducting materials. Accurate definition of the transistor channel and other circuit components is achieved by direct inkjet printing combined with surface energy patterning. We present results on our 4,800 pixel, 50 dpi, active matrix displays.

  • PDF

Gain Tuning of a Fuzzy Logic Controller Superior to PD Controllers in Motor Position Control

  • Kim, Young-Real
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • v.14 no.3
    • /
    • pp.188-199
    • /
    • 2014
  • Although the fuzzy logic controller is superior to the proportional integral derivative (PID) controller in motor control, the gain tuning of the fuzzy logic controller is more complicated than that of the PID controller. Using mathematical analysis of the proportional derivative (PD) and fuzzy logic controller, this study proposed a design method of a fuzzy logic controller that has the same characteristics as the PD controller in the beginning. Then a design method of a fuzzy logic controller was proposed that has superior performance to the PD controller. This fuzzy logic controller was designed by changing the envelope of the input of the of the fuzzy logic controller to nonlinear, because the fuzzy logic controller has more degree of freedom to select the control gain than the PD controller. By designing the fuzzy logic controller using the proposed method, it simplified the design of fuzzy logic controller, and it simplified the comparison of these two controllers.

Taining Kit for Xilinx FPGA or ALTERA CPLD Digital Logic Design with Center Bridge Chipset Architecture (중앙 브릿지 칩셋을 갖춘 Xilinx FPGA, ALTERA CPLD 겸용 Digital Logic Design Training kit)

  • 전상현;정완영
    • Proceedings of the IEEK Conference
    • /
    • 2003.07b
    • /
    • pp.907-910
    • /
    • 2003
  • We have developed Logic Design Training Kit for studying, actual training, designing of FPGA(Xillinx) or CPLD(ALTERA CPLD), the Digital Logic Device. This training kit has 12 matrix keys, RS232 port for serial communication and uses LED array. six FND(Dynamic), LCD as display part. That is standard specification for digital logic training kit. Special point of this kit is that we make two logic device trainig kit. This two logic device kit have more smaller and simple architecture because only uses one chip. That chip already includes a lot of functions that need for training kit, such as : complex logic circuit needed the two kind of logic devices, 16 way of system clock deviding function, serial communication interrupt....etc. We called that one chip is Center Bridge Chipset ; Xillinx FPGA Spartan2. User can select between using one device of FPGA or CPLD, or uses both them. Because of, Center Bridge Chipset has profitable architecture. it can work as Logic Device's networking with Master-Slave connection When using both logic devices.

  • PDF

Logic Synthesis Algorithm for Multiplexer-based FPGA's Using BDD (멀티플렉서 구조의 FPGA를 위한 BDD를 이용한 논리 합성 알고리듬)

  • 강규현;이재흥;정정화
    • Journal of the Korean Institute of Telematics and Electronics A
    • /
    • v.30A no.12
    • /
    • pp.117-124
    • /
    • 1993
  • In this paper we propose a new thchnology mapping algorithm for multiplexer-based FPGA's The algorithm consists of three phases` First, it converts the logic functions and the basic logic mocule into BDD's. Second. it covers the logic function with the basic logic modules. Lastly, it reduces the number of basic logic modules used to implement the logic function after going through cell merging procedure. The binate selection is employed to determine the order of input variables of the logic function to constructs the balanced BDD with low level. That enables us to constructs the circuit that has small size and delay time. Technology mapping algorithm of previous work used one basic logic module to implement a two-input or three-input function in logic functions. The algorithm proposed here merges almost all pairs of two-input and three-input functions that occupy one basic logic module. and improves the mapping results. We show the effectiveness of the algorithm by comparing the results of our experiments with those of previous systems.

  • PDF

Standard Completeness for the Weak Uninorm Mingle Logic WUML (WUML의 표준적 완전성)

  • Yang, Eun-Suk
    • Korean Journal of Logic
    • /
    • v.14 no.1
    • /
    • pp.55-76
    • /
    • 2011
  • Fixed-point conjunctive left-continuous idempotent uninorms have been introduced (see e.g. [2, 3]). This paper studies a system for such uninorms. More exactly, one system obtainable from IUML (Involutive uninorm mingle logic) by dropping involution (INV), called here WUML (Weak Uninorm Mingle Logic), is first introduced. This is the system of fixed-point conjunctive left-continuous idempotent uninorms and their residua with weak negation. Algebraic structures corresponding to the system, i.e., WUML-algebras, are then defined, and algebraic completeness is provided for the system. Standard completeness is further established for WUML and IUML in an analogy to that of WNM (Weak nilpotent minimum logic) and NM (Nilpotent minimum logic) in [4].

  • PDF

A Library Generation Method for Multiplexor-based Logic Module (멀티플렉서에 기초한 논리모듈의 Library 생성 방법)

  • 조한진;배영환;박인학
    • Journal of the Korean Institute of Telematics and Electronics A
    • /
    • v.32A no.10
    • /
    • pp.93-101
    • /
    • 1995
  • The evaluation of the logic capability and the library generation method of the multiplexor-based logic module is described. Optimizing logic module for silicon area and logic capability is essential to build a efficient FPGAs(Field-Programmable Gate Arrays). Because the multiplexor-based logic module can implement a large number of functions, it presents difficulties for library-based approaches. However, the logic functions of the logic module can be significantly reduced by lmiting the number of variables and sum-of-products and by removing same functions with different variable ordering using algorithm presented in this paper.

  • PDF

The Role of Intuition and Logic in Creative Problem Solving Process (창의적인 문제해결과정에서의 직관과 논리의 역할)

  • 이대현
    • The Mathematical Education
    • /
    • v.38 no.2
    • /
    • pp.159-164
    • /
    • 1999
  • The purpose of this paper is to find role of in and logic in creative problem solving process. Intuition and logic have played an important role in creative problem solving process. Nevertheless, Intuition has been treated less importantly than logic. Therefore, I intend to review the role of intuition, and then the relationship of intuition and logic, and the role of intuition and logic in creative problem solving process. Although intuition gives an important clue in problem solving process, it may sometimes cause an error. This fact gives an idea that intuition and logic have to be harmoniously cultivated. In fact, Intuition and logic have been playing a complementary role in creative problem solving process. A creative learner is regarded as a mathematician of his age. It must be through intuition and logic that he/she solves the problem creatively, just as a mathematician invents the new mathematical fact through unconscious and conscious process. In this respective, teachers also should make every effort to cultivate intuition and logic themselves.

  • PDF

Strong Kleene-Diense Logic: a variant of the infinite-valued Kleene-Diense Logic

  • Yang, Eun-Suk
    • Korean Journal of Logic
    • /
    • v.8 no.2
    • /
    • pp.85-107
    • /
    • 2005
  • Kleene first investigated a three-valued system which follows the evaluations of the Lukasiewicz infinite-valued logic ${\L}C$ with respect to negation, conjunction, and disjunction, and treats $\rightarrow$ as material-like implication in the sense that A $\rightarrow$ B is defined as ${\sim}A{\vee}B$ in its evaluation. Diense and Rescher extended it to many-valued logic and infinite-valued logic, respectively. This paper investigates a variant of the infinite-valued Kleene-Diense logic KD, which we shall call strong Kleene-Diense logic (sKD): sKD has the same evaluations as KD except that sKD takes a variant of Kleene-Diense implication. Following the idea of Dunn [2], we provide algebraic completeness for sKD together with its deduction theorem.

  • PDF

Logic as grammar: Wittgenstein’s view of logic (문법으로서의 논리 ― 비트겐슈타인의 논리관 ―)

  • Lee, Young-Chul
    • Korean Journal of Logic
    • /
    • v.11 no.2
    • /
    • pp.57-91
    • /
    • 2008
  • In accordance with his belief that philosophical problems arise from misunderstandings of the logic of our language, Wittgenstein's philosophical investigations were always focused on the problems of logic of language. Indeed, it can be said that his investigations were logical investigations. But what was the logic as conceived by him? He regarded logic as grammar from the beginning, but between his two different philosophical periods, there were important changes in his conceptions of grammar. In his earlier period, he understood the logic of language as the truth-functional syntax realizable in an ideal notation, while in his later period he regarded logic as the rules of language-use in various language games. It was a change from viewing logic as an ideally strict and universal system in which every logical possibilities are determined to viewing logic as an open system of non-strict grammatical rules specific to each language game. This paper deals with the gists of his earlier and later views on logic and the reasons for the change of his views, including specifically the reasons for the change of his views concerning the autonomy and necessity of logic as grammar.

  • PDF