Synthesizing Switching Circuits in a PLIC Basis

被引：0
|
作者：
Oranov, A. M.
机构：
来源：
Automatic Control and Computer Sciences (English translation of Avtomatika i Vychislitel'naya Tekhnika) | / 30卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Synthesizing Asynchronous Circuits Toward Practical Use
    Park, Heechun
    Kim, Taewhan
    2016 IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI (ISVLSI), 2016, : 47 - 52
  • [32] Synthesizing Switching Logic Using Constraint Solving
    Taly, Ankur
    Gulwani, Sumit
    Tiwari, Ashish
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2009, 5403 : 305 - +
  • [33] ON METHODS OF SYNTHESIZING TELECOMMUNICATIONS NETWORKS WITH CHANNEL SWITCHING
    MALASHENKO, YY
    SASOROVA, YV
    ENGINEERING CYBERNETICS, 1984, 22 (02): : 36 - 44
  • [34] SYNTHESIZING THE LU ATTRACTOR BY PARAMETER-SWITCHING
    Danca, Marius-F.
    INTERNATIONAL JOURNAL OF BIFURCATION AND CHAOS, 2011, 21 (01): : 323 - 331
  • [35] Synthesizing switching logic using constraint solving
    Taly A.
    Gulwani S.
    Tiwari A.
    International Journal on Software Tools for Technology Transfer, 2011, 13 (6) : 519 - 535
  • [36] POSSIBLE OPTION OF ASSOCIATIVE COOPROCESSOR ORGANIZATION AT FUNCTIONAL LEVEL ON PLIC BASIS FOR SPECIALIZED COMPUTER SYSTEMS
    Martyshkin, A., I
    AD ALTA-JOURNAL OF INTERDISCIPLINARY RESEARCH, 2018, 8 (01): : 315 - 321
  • [37] SYNTHESIZING DELAY INSENSITIVE CIRCUITS FROM VERIFIED PROGRAMS
    HULGAARD, H
    CHRISTENSEN, PH
    STAUNSTRUP, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 574 : 326 - 337
  • [38] Saving power by synthesizing gated clocks for sequential circuits
    Benini, Luca
    Siegel, Polly
    De Micheli, Giovanni
    1600, IEEE, Piscataway, NJ, United States (11):
  • [39] A method for synthesizing area efficient multilevel PTL circuits
    Bandyopadhyay, S
    Jaekel, A
    Jullien, GA
    TENTH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS, 1997, : 516 - 518
  • [40] Synthesizing Hybrid Quantum Circuits without Ancilla Qudits
    Yang, Guowu
    Hung, William N. N.
    Song, Xiaoyu
    Perkowski, Marek A.
    2010 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), 2010,
12345