MIXS: A MIXED LEVEL SIMULATOR FOR LARGE DIGITAL SYSTEM LOGIC VERIFICATION.

被引：0
|
作者：
Sasaki, Tohru
Yamada, Akihiko
Kato, Shunichi
Nakazawa, Terufumi
Tomita, Kyoji
Nomizu, Nobuyoshi
机构：
来源：
Jahrbuch der Schiffbautechnischen Gesellschaft | 1980年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
8
引用
收藏
页码：626 / 633
相关论文
共 32 条
  • [1] A new device level digital simulator for simulation and functional verification of large semiconductor memories
    Dastidar, TR
    Ray, P
    19TH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS, 2005, : 155 - 160
  • [2] Simulator Semantics for System Level Formal Verification
    Mancini, Toni
    Mari, Federico
    Massini, Annalisa
    Melatti, Igor
    Tronci, Enrico
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (193): : 86 - 99
  • [3] VERIFY AT THE SYSTEM LEVEL WITH MIXED-MODE SIMULATOR
    MILNE, B
    ELECTRONIC DESIGN, 1988, 36 (12) : 65 - 68
  • [4] Implementation and verification of a digital radio communication system simulator for railway environment
    Kawasaki, Kunihiro
    Sugahara, Hiroyuki
    Tateishi, Yukiya
    Hattori, Tetsunori
    IEEJ Transactions on Industry Applications, 2015, 135 (04) : 420 - 425
  • [5] VERIFICATION OF THE LOGIC STRUCTURE OF AN EXPERIMENTAL SWITCHING SYSTEM ON A DIGITAL COMPUTER
    LEAGUS, DC
    LEE, CY
    MEALY, GH
    BELL SYSTEM TECHNICAL JOURNAL, 1959, 38 (02): : 467 - 476
  • [6] MIXMOS - A MIXED-LEVEL SIMULATOR FOR DIGITAL MOS CIRCUITS USING A NEW ALGEBRAIC APPROACH
    KONG, JH
    SZYGENDA, SA
    COMPUTER-AIDED DESIGN, 1990, 22 (10) : 618 - 632
  • [7] HAL II: A MIXED LEVEL HARDWARE LOGIC SIMULATION SYSTEM.
    Takasaki, Shigeru
    Nomizu, Nobuyoshi
    Sasaki, Tohru
    Ishikura, Hiroshi
    Koike, Nobuhiko
    NEC Research and Development, 1987, (86): : 95 - 106
  • [8] HAL-II - A MIXED LEVEL HARDWARE LOGIC SIMULATION SYSTEM
    TAKASAKI, S
    NOMIZU, N
    SASAKI, T
    ISHIKURA, H
    KOIKE, N
    NEC RESEARCH & DEVELOPMENT, 1987, (86): : 95 - 105
  • [9] Main control system verification and validation of NPP digital I&C system based on engineering simulator
    Lin, Meng
    Hou, Dong
    Liu, Pengfei
    Yang, Zongwei
    Yang, Yanhua
    NUCLEAR ENGINEERING AND DESIGN, 2010, 240 (07) : 1887 - 1896
  • [10] Installation of digital reactor feedwater level control system on the WNP-2 simulator
    Ravindranath, TK
    Luffey, FC
    PROCEEDINGS OF THE SIMULATORS INTERNATIONAL XV, 1998, 30 (03): : 263 - 267
1234