LOGIC DEVICE PROGRAMMING/TEST: PLD PROGRAMMING AND TESTING: TRENDS, TOOLS AND PITFALLS.

被引：0
|
作者：
Pellerin, Dave H. [1 ]
Durwood, Brian H. [1 ]
机构：
[1] Data I/O Corp, Redmond, WA, USA, Data I/O Corp, Redmond, WA, USA
来源：
Evaluation Engineering | 1988年 / 27卷 / 05期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
LOGIC DEVICES
引用
收藏
页码：97 / 100
相关论文
共 50 条
  • [31] Stratified negation in temporal logic programming and the cycle-sum test
    Rondogiannis, P
    THEORETICAL COMPUTER SCIENCE, 2001, 254 (1-2) : 663 - 676
  • [32] Mobile Learning Tools to Support in Teaching Programming Logic and Design: A Systematic Literature Review
    Coelho, Regina Celia
    Marques, Matheus F. P.
    de Oliveira, Tiago
    INFORMATICS IN EDUCATION, 2023, 22 (04): : 589 - 612
  • [33] TOOLS SUPPORTING AUTONOMOUS TESTING OF SUBPROGRAMS IN THE DIALOG PROGRAMMING SYSTEM OF MCC ELBRUS
    PLAKSIN, MA
    VESTNIK LENINGRADSKOGO UNIVERSITETA SERIYA MATEMATIKA MEKHANIKA ASTRONOMIYA, 1986, (02): : 117 - 118
  • [34] Towards Harnessing Testing Tools Into Programming Courses Curricula: Case Study of Jordan
    Akour, Mohammed
    2014 INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND COMPUTATIONAL INTELLIGENCE (CSCI), VOL 2, 2014, : 197 - 200
  • [35] Constraint-Logic Object-Oriented Programming for Test Case Generation
    Winkelmann, Hendrik
    Troost, Laura
    Kuchen, Herbert
    37TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, 2022, : 1499 - 1508
  • [36] Test directive generation for functional coverage closure using inductive logic programming
    Hsueh, Hsiou-Wen
    Eder, Kerstin
    HLDVT'06: ELEVENTH ANNUAL IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2006, : 11 - +
  • [37] Preamble computation in automated test case generation using constraint logic programming
    Colin, S
    Legeard, B
    Peureux, F
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2004, 14 (03): : 213 - 235
  • [38] Constraint-logic object-oriented programming for test case generation
    Winkelmann, Hendrik
    Troost, Laura
    Kuchen, Herbert
    Proceedings of the ACM Symposium on Applied Computing, 2022, : 1499 - 1508
  • [39] A Novel Stateful Logic Device and Circuit for In-Memory Parity Programming in Crossbar Memory
    Yoon, Kyung Jean
    Han, Jin-Woo
    Bae, Woorham
    ADVANCED ELECTRONIC MATERIALS, 2020, 6 (12)
  • [40] Competence test regarding a competence model results of a test in upper secondary education for the domain of logic programming
    Linck, Barbara
    2013 IEEE GLOBAL ENGINEERING EDUCATION CONFERENCE (EDUCON), 2013, : 220 - 226
12345