PROLOG AS A FORMALISM FOR VLSI DESIGN SPECIFICATION

被引：2
|
作者：
GRABOWIECKI, T
PAWLAK, A
机构：
[1] SILESIA TECH UNIV,PL-44100 GLIWICE,POLAND
[2] GESELL MATH & DATENVERARBEITUNG GMD,PROJECT EIS,D-5205 ST AUGUSTIN,FED REP GER
来源：
MICROPROCESSING AND MICROPROGRAMMING | 1989年 / 25卷 / 1-5期
关键词：
D O I：
10.1016/0165-6074(89)90189-0
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：157 / 162
页数：6
相关论文
共 50 条
  • [1] DESIGN CONSIDERATIONS ON A VLSI PROLOG INTERPRETER
    CIVERA, PL
    PICCININI, GL
    ZAMBONI, M
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1987, 21 (1-5): : 267 - 273
  • [2] CONCURRENT PROLOG AS AN EFFICIENT VLSI DESIGN LANGUAGE
    SUZUKI, N
    [J]. COMPUTER, 1985, 18 (02) : 33 - 40
  • [3] Prolog to SOI for digital CMOS VLSI: Design considerations and advances
    O'Donnell, R
    [J]. PROCEEDINGS OF THE IEEE, 1998, 86 (04) : 687 - 688
  • [4] SPECIFICATION, DESCRIPTION AND DESIGN FOR THE VLSI ERA.
    Offen, R.J.
    Woodcock, J.C.P.
    Enstone, C.A.G.
    Ibrahim, D.
    [J]. GEC journal of science & technology, 1982, 48 (02): : 86 - 89
  • [5] A DESIGN METHODOLOGY FOR THE CORRECT SPECIFICATION OF VLSI SYSTEMS
    BOLCHINI, C
    BOMBANA, M
    CAVALLORO, P
    COSTI, C
    FUMMI, F
    ZAZA, G
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1993, 38 (1-5): : 563 - 570
  • [6] FORMAL SPECIFICATION OF A PROLOG COMPILER
    HANUS, M
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 348 : 273 - 282
  • [7] PROGRAM SPECIFICATION WITH ELEMENTS OF PROLOG
    PLASSER, K
    [J]. ANGEWANDTE INFORMATIK, 1988, 30 (12): : 539 - 543
  • [8] Prolog machine based on VLSI algorithms
    [J]. Shobatake, Yasuro, 1600, (20):
  • [9] IMPLEMENTATION STUDIES FOR A VLSI PROLOG COPROCESSOR
    CIVERA, P
    PICCININI, G
    ZAMBONI, M
    [J]. IEEE MICRO, 1989, 9 (01) : 10 - 23
  • [10] VLSI SPECIFICATION AND VERIFICATION
    ANTOLA, A
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1990, 30 (1-5): : 403 - 403
12345