SIMPLE UNIVERSAL LOGIC STATE CHECKER

被引：0
|
作者：
RUDMIN, JW
机构：
来源：
AMERICAN JOURNAL OF PHYSICS | 1982年 / 50卷 / 03期
关键词：
D O I：
10.1119/1.13041
中图分类号：
G40 [教育学];
学科分类号：
040101 ; 120403 ;
摘要：
引用
收藏
页码：283 / 284
页数：2
相关论文
共 50 条
  • [1] SIMPLE LEAK CHECKER
    OLSON, GA
    INSTRUMENTATION TECHNOLOGY, 1967, 14 (08): : 60 - &
  • [2] Simple capacitor checker
    Brown, WD
    ELECTRONICS WORLD, 2004, 110 (1824): : 44 - 44
  • [3] A Productivity Checker for Logic Programming
    Komendantskaya, Ekaterina
    Johann, Patricia
    Schmidt, Martin
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2016, 2017, 10184 : 168 - 186
  • [4] TLQSolver: A temporal logic query checker
    Chechik, M
    Gurfinkel, A
    COMPUTER AIDED VERIFICATION, 2003, 2725 : 210 - 214
  • [5] Implementation of cascade logic gates and majority logic gate on a simple and universal molecular platform
    Gao, Jinting
    Liu, Yaqing
    Lin, Xiaodong
    Deng, Jiankang
    Yin, Jinjin
    Wang, Shuo
    SCIENTIFIC REPORTS, 2017, 7
  • [6] Implementation of cascade logic gates and majority logic gate on a simple and universal molecular platform
    Jinting Gao
    Yaqing Liu
    Xiaodong Lin
    Jiankang Deng
    Jinjin Yin
    Shuo Wang
    Scientific Reports, 7
  • [7] Simple three-state logic probe
    Kelly, F
    ELECTRONICS WORLD, 2001, 107 (1788): : 960 - 960
  • [8] An efficient logic equivalence checker for industrial circuits
    Park, J
    Pixley, C
    Burns, M
    Cho, HW
    JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2000, 16 (1-2): : 91 - 106
  • [9] A Temporal Logic Extension of the RISCAL Model Checker
    Schreiner, Wolfgang
    Suetoe, Agoston
    IPSI BGD TRANSACTIONS ON INTERNET RESEARCH, 2023, 19 (01): : 41 - 46
  • [10] An Efficient Logic Equivalence Checker for Industrial Circuits
    Jaehong Park
    Carl Pixley
    Michael Burns
    Hyunwoo Cho
    Journal of Electronic Testing, 2000, 16 : 91 - 106
12345