VERIFICATION OF HARDWARE DESIGNS THRU SYMBOLIC MANIPULATION.

被引：0
|
作者：
Wagner, Todd J.
机构：
来源：
| 1977年
关键词：
COMPUTER PROGRAMMING LANGUAGES - COMPUTERS; DIGITAL; -; Circuits; COMPUTERS; MICROPROCESSOR - LOGIC DESIGN - Computer Aids;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
A method is described for detecting errors in hardware designs based on algebraic manipulation. The behavior of a hardware system is specified using a non-procedural register transfer language. Similar specifications are provided for each component in the circuit.
引用
收藏
页码：50 / 53
相关论文
共 50 条
  • [1] SCREEN IMAGE VERIFICATION AND MANIPULATION.
    Anon
    IBM technical disclosure bulletin, 1986, 29 (04):
  • [2] APPLICATIONS OF SYMBOLIC MANIPULATION TO ALGORITHM VERIFICATION
    MAURER, WD
    SIAM REVIEW, 1974, 16 (01) : 132 - 132
  • [3] Spinal manipulation.
    Marlin, T
    BRITISH MEDICAL JOURNAL, 1931, 1931 : 1065 - 1065
  • [4] Verification of Chisel Hardware designs with ChiselVerify
    Dobis, Amelia
    Laeufer, Kevin
    Damsgaard, Hans Jakob
    Petersen, Tjark
    Rasmussen, Kasper Juul Hesse
    Tolotto, Enrico
    Andersen, Simon Thye
    Lin, Richard
    Schoeberl, Martin
    MICROPROCESSORS AND MICROSYSTEMS, 2023, 96
  • [5] Verification of Approximate Hardware Designs with ChiselVerify
    Damsgaard, Hans Jakob
    Ometov, Aleksandr
    Nurmi, Jari
    2023 IEEE NORDIC CIRCUITS AND SYSTEMS CONFERENCE, NORCAS, 2023,
  • [6] Formal specification and verification of hardware designs
    Ramesh, S
    Rao, SSSP
    Sivakumar, G
    Bhaduri, P
    PHOTOMASK AND X-RAY MASK TECHNOLOGY V, 1998, 3412 : 261 - 268
  • [7] Automata based symbolic reasoning in hardware verification
    Basin, D
    Klarlund, N
    FORMAL METHODS IN SYSTEM DESIGN, 1998, 13 (03) : 255 - 288
  • [8] VERIFICATION AND VALIDATION OF HARDWARE DESIGNS VIA HARDWARE PETRI NETS
    HO, C
    FORWARD, KE
    COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 1994, 9 (01): : 65 - 72
  • [9] Ritual performance, memory construction, symbolic manipulation. Following the religious footprints of political phenomena
    Fraga, Eugenia
    CULTURA Y RELIGION, 2016, 10 (01): : 49 - 65
  • [10] INCREASED PERFORMANCE VIA HARDWARE-ASSISTED PARTITIONING, SCROLLING AND WORKSPACE DATA MANIPULATION.
    Anon
    IBM technical disclosure bulletin, 1985, 28 (01): : 452 - 457
12345