AUTOMATIC VERIFICATION OF SEQUENTIAL-CIRCUIT DESIGNS - DISCUSSION

被引：0
|
作者：
THOMPSON, P [1 ]
CLARKE, EM [1 ]
机构：
[1] CARNEGIE MELLON UNIV,PITTSBURGH,PA 15213
来源：
PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY OF LONDON SERIES A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES | 1992年 / 339卷 / 1652期
关键词：
D O I：
暂无
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：120 / 120
页数：1
相关论文
共 50 条
  • [1] AUTOMATIC VERIFICATION OF SEQUENTIAL-CIRCUIT DESIGNS
    CLARKE, EM
    [J]. COMPUTER HARDWARE DESCRIPTION LANGUAGES AND THEIR APPLICATIONS, 1993, 32 : 165 - 165
  • [2] AUTOMATIC VERIFICATION OF SEQUENTIAL-CIRCUIT DESIGNS
    CLARKE, EM
    BURCH, JR
    GRUMBERG, O
    LONG, DE
    MCMILLAN, KL
    [J]. PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY OF LONDON SERIES A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 1992, 339 (1652): : 105 - 120
  • [3] SYMBOLIC MODEL CHECKING FOR SEQUENTIAL-CIRCUIT VERIFICATION
    BURCH, JR
    CLARKE, EM
    LONG, DE
    MCMILLAN, KL
    DILL, DL
    [J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1994, 13 (04) : 401 - 424
  • [4] HARING,DR - SEQUENTIAL-CIRCUIT SYNTHESIS
    UNBEHAUE.R
    [J]. ARCHIV DER ELEKTRISCHEN UND UBERTRAGUNG, 1967, 21 (02): : 95 - &
  • [5] SIMPLIFYING SEQUENTIAL-CIRCUIT TEST-GENERATION
    SHEU, ML
    LEE, CL
    [J]. IEEE DESIGN & TEST OF COMPUTERS, 1994, 11 (03): : 28 - 38
  • [6] AN APPROACH TO SEQUENTIAL-CIRCUIT CONSTRUCTION IN LSI PROGRAMMABLE ARRAYS
    PAPACHRISTOU, CA
    SARMA, D
    [J]. IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1983, 130 (05): : 159 - 164
  • [7] MATRIX-METHOD FOR SYSTEMATIZING SEQUENTIAL-CIRCUIT DESIGN
    PAGE, EW
    [J]. ELECTRONICS LETTERS, 1976, 12 (02) : 49 - 50
  • [8] SEQUENTIAL-CIRCUIT TESTABILITY ENHANCEMENT USING A NONSCAN APPROACH
    RUDNICK, EM
    CHICKERMANE, V
    BANERJEE, P
    PATEL, JH
    [J]. IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 1995, 3 (02) : 333 - 338
  • [9] SEQUENTIAL-CIRCUIT TEST GENERATOR (STG) BENCHMARK RESULTS
    CHENG, WT
    DAVIDSON, S
    [J]. 1989 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-3, 1989, : 1939 - 1941
  • [10] SEQUENTIAL-CIRCUIT OUTPUT PROBABILITIES FROM REGULAR EXPRESSIONS
    PARKER, KP
    MCCLUSKEY, EJ
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 1978, 27 (03) : 222 - 231
12345