Parallel logic simulation of million-gate VLSI circuits

被引:0
|
作者
Zhu, LJ [1 ]
Chen, G [1 ]
Szymanski, BK [1 ]
Tropper, C [1 ]
Zhang, T [1 ]
机构
[1] McGill Univ, Sch Comp Sci, Montreal, PQ, Canada
关键词
D O I
暂无
中图分类号
TN [电子技术、通信技术];
学科分类号
0809 ;
摘要
The complexity of today's VLSI chip designs makes verification a necessary step before fabrication. As a result, gate-level logic simulation has became an integral component of the VLSI circuit design process which verifies the design and analyzes its behavior Since the designs constantly grow in size and complexity, there is a need for ever more efficient simulations to keep the gate-level logic verification time acceptably small. The focus of this paper is an efficient simulation of large chip designs. We present the design and implementation of a new parallel simulator, called DSIM, and demonstrate DSIM's efficiency and speed by simulating a million gate circuit using different numbers of processors.
引用
收藏
页码:521 / 524
页数:4
相关论文
共 50 条
  • [21] VLSI LOGIC AND FAULT SIMULATION ON GENERAL-PURPOSE PARALLEL COMPUTERS
    MUELLERTHUNS, RB
    SAAB, DG
    DAMIANO, RF
    ABRAHAM, JA
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1993, 12 (03) : 446 - 460
  • [22] ASTABLES - LOGIC GATE CIRCUITS
    WILLIAMS, P
    WIRELESS WORLD, 1980, 86 (1529): : 92 - 93
  • [23] DESIGN AND SIMULATION OF VLSI CIRCUITS
    SCHEFFER, LK
    DOWELL, RI
    APTE, RM
    HEWLETT-PACKARD JOURNAL, 1981, 32 (06): : 12 - &
  • [24] PolyCleaner: Clean your Polynomials before Backward Rewriting to Verify Million-gate Multipliers
    Mahzoon, Alireza
    Grosse, Daniel
    Drechsler, Rolf
    2018 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD) DIGEST OF TECHNICAL PAPERS, 2018,
  • [25] Advanced VLSI Circuits Simulation
    Kocina, Filip
    Kunovsky, Jiri
    2017 INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING & SIMULATION (HPCS), 2017, : 526 - 533
  • [26] Use of the Modification of the Petri Nets Algorithm for the Logic Simulation of Gate-Level Logic Circuits
    Bulakh D.A.
    Kazennov G.G.
    Lapin A.V.
    Russian Microelectronics, 2018, 47 (7) : 522 - 525
  • [27] FUNCTIONAL COMPARISON OF LOGIC DESIGNS FOR VLSI CIRCUITS
    BERMAN, CL
    TREVILLYAN, LH
    1989 IEEE INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN: DIGEST OF TECHNICAL PAPERS, 1989, : 456 - 459
  • [28] Simulation on modular circuits for parallel-analogue fuzzy logic controller
    Samman, FA
    Widodo, RJ
    INTELLIGENT CONTROL FOR AGRICULTURAL APPLICATIONS 2001, 2002, : 253 - 258
  • [29] Using reverse circuit execution for efficient parallel simulation of logic circuits
    Perumalla, K
    Fujimoto, R
    MATHEMATICS OF DATA/IMAGE CODING, COMPRESSION, AND ENCRYPTION V, WITH APPLICATIONS, 2002, 4793 : 267 - 275
  • [30] NAND gate for SFQ logic circuits
    Myoren, H
    Ono, S
    Takada, S
    IEICE TRANSACTIONS ON ELECTRONICS, 2000, E83C (01) : 81 - 84