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 条
  • [31] multiPDEVS: A Parallel Multicomponent System Specification Formalism
    Foures, Damien
    Franceschini, Romain
    Bisgambiglia, Paul-Antoine
    Zeigler, Bernard P.
    [J]. COMPLEXITY, 2018,
  • [32] Prototyping of VLSI components from a formal specification
    McConnell, R
    Lavenier, D
    [J]. JOURNAL OF VLSI SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, 1996, 12 (02): : 177 - 186
  • [33] A PROCESS SPECIFICATION FORMALISM BASED ON STATIC COLD
    BAETEN, JCM
    BERGSTRA, JA
    MAUW, S
    VELTINK, GJ
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 490 : 303 - 335
  • [34] A Formalism for the Specification of Operationally Embedded Reactive Systems
    Sherry, Lance
    [J]. INCOSE International Symposium, 1995, 5 (01) : 571 - 578
  • [35] SOFTWARE FORMAL SPECIFICATION BY LOGIC PROGRAMMING - THE EXAMPLE OF STANDARD PROLOG
    EDDBALI, A
    DERANSART, P
    [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 636 : 278 - 287
  • [36] A Formalism for Specification of Java']Java API Interfaces
    Ancona, Davide
    Dagnino, Francesco
    Franceschini, Luca
    [J]. COMPANION PROCEEDINGS FOR THE ISSTA/ECOOP 2018 WORKSHOPS, 2018, : 24 - 26
  • [37] Prolog to -: Iddq testing for CMOS VLSI -: An introduction to the paper by Rajs']jsuman
    Esch, J
    [J]. PROCEEDINGS OF THE IEEE, 2000, 88 (04) : 542 - 543
  • [38] DESIGN METHODOLOGY MANAGEMENT - PROLOG
    ESCH, J
    [J]. PROCEEDINGS OF THE IEEE, 1994, 82 (02) : 229 - 230
  • [39] DESIGN AND EVALUATION OF A PROLOG COMPILER
    KISHIMOTO, M
    SHINOGI, T
    KIMURA, Y
    HATTORI, A
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 221 : 192 - 203
  • [40] THE APPLICATION OF PROLOG TO STRUCTURED DESIGN
    TSE, TH
    CHEN, TY
    CHAN, FT
    CHEN, HY
    XIE, HL
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1994, 24 (07): : 659 - 676
12345