LEVER. A logic extraction and verification program for MOS circuits

被引：0
|
作者：
Wang, P.-H.P.
McNamee, L.
机构：
来源：
Proceedings of the ISMM International Symposium Computer Applications in Design, Simulation and Analysis | 1991年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Logic plus control: On program construction and verification
    Drabent, Wlodzimierz
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2018, 18 (01) : 1 - 29
  • [22] A Program Construction and Verification Tool for Separation Logic
    Dongol, Brijesh
    Gomes, Victor B. F.
    Struth, Georg
    MATHEMATICS OF PROGRAM CONSTRUCTION, MPC 2015, 2015, 9129 : 137 - 158
  • [23] External Behavior of a Logic Program and Verification of Refactoring
    Fandinno, Jorge
    Hansen, Zachary
    Lierler, Yuliya
    Lifschitz, Vladimir
    Temple, Nathan
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2023, 23 (04) : 933 - 947
  • [24] Completeness of Pointer Program Verification by Separation Logic
    Tatsuta, Makoto
    Chin, Wei-Ngan
    Al Ameen, Mahmudul Faisal
    SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2009, : 179 - +
  • [25] Towards mechanized program verification with separation logic
    Weber, T
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2004, 3210 : 250 - 264
  • [26] ESTIMATION OF MAXIMUM CURRENTS IN MOS IC LOGIC-CIRCUITS
    CHOWDHURY, S
    BARKATULLAH, JS
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1990, 9 (06) : 642 - 654
  • [27] A Methodology for the Design of MOS Current-Mode Logic Circuits
    Caruso, Giuseppe
    Macchiarella, Alessio
    IEICE TRANSACTIONS ON ELECTRONICS, 2010, E93C (02): : 172 - 181
  • [28] A program for optimizing digital static MOS-circuits
    Mitterer, R.
    Essl, D.
    IT - Information Technology, 1971, 13 (1-6): : 60 - 65
  • [29] Extraction of functional from logic program
    Yamasaki, S.
    International Symposium on Programming Language Implementation and Logic Programming, 1991,
  • [30] EXTRACTION OF FUNCTIONAL FROM LOGIC PROGRAM
    YAMASAKI, S
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 528 : 27 - 38
12345