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 条
  • [41] Jitter Analysis of Nonautonomous MOS Current-Mode Logic Circuits
    Aleksic, Marko
    Nedovic, Nikola
    Current, K. Wayne
    Oklobdzija, Vojin G.
    IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERS, 2008, 55 (10) : 3038 - 3049
  • [42] NENDEP - SIMPLE N-CHANNEL MOS TECHNOLOGY FOR LOGIC CIRCUITS
    VERJANS, JR
    VANOVERSTRAETEN, RJ
    IEEE JOURNAL OF SOLID-STATE CIRCUITS, 1975, 10 (04) : 212 - 218
  • [43] SWITCHING RESPONSE OF COMPLEMENTARY-SYMMETRY MOS TRANSISTOR LOGIC CIRCUITS
    BURNS, JR
    RCA REVIEW, 1964, 25 (04): : 627 - 661
  • [44] Completeness and expressiveness of pointer program verification by separation logic
    Tatsuta, Makoto
    Chin, Wei-Ngan
    Al Ameen, Mahmudul Faisal
    INFORMATION AND COMPUTATION, 2019, 267 : 1 - 27
  • [45] Automated Quantum Program Verification in Dynamic Quantum Logic
    Takagi, Tsubasa
    Canh Minh Do
    Ogata, Kazuhiro
    DYNAMIC LOGIC. NEW TRENDS AND APPLICATIONS, DALI 2023, 2024, 14401 : 68 - 84
  • [46] An intelligent safety verification based on a paraconsistent logic program
    Nakamatsu, K
    Akama, S
    Abe, JM
    KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS, 2005, 3682 : 708 - 715
  • [47] USE OF HIGHER-ORDER LOGIC IN PROGRAM VERIFICATION
    ERNST, GW
    HOOKWAY, RJ
    IEEE TRANSACTIONS ON COMPUTERS, 1976, 25 (08) : 844 - 851
  • [48] Verification of Imperative Programs by Constraint Logic Program Transformation
    De Angelis, Emanuele
    Fioravanti, Fabio
    Pettorossi, Alberto
    Proietti, Maurizio
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (129): : 186 - 210
  • [49] Verification of parameterized systems using logic program transformations
    Roychoudhury, A
    Kumar, KN
    Ramakrishnan, CR
    Ramakrishnan, IV
    Smolka, SA
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2000, 1785 : 172 - 187
  • [50] Model Extraction and Reliability Verification on SOCKET Program
    Luo, Min
    SUSTAINABLE DEVELOPMENT OF NATURAL RESOURCES, PTS 1-3, 2013, 616-618 : 2055 - 2059
12345