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 条
  • [21] Industrial strength formal verification techniques for hardware designs
    Rajan, SP
    Shankar, N
    Srivas, MK
    TENTH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS, 1997, : 208 - 212
  • [22] Formal Verification of Fault-Tolerant Hardware Designs
    Entrena, Luis
    Sanchez-Clemente, Antonio J.
    Garcia-Astudillo, Luis A.
    Portela-Garcia, Marta
    Garcia-Valderas, Mario
    Lindoso, Almudena
    Sarmiento, Roberto
    IEEE ACCESS, 2023, 11 : 116127 - 116140
  • [23] Power Side-Channel Verification in Hardware Designs
    Alatoun, Khitam
    Vemuri, Ranga
    IEEE NATIONAL AEROSPACE AND ELECTRONICS CONFERENCE, NAECON 2024, 2024, : 291 - 296
  • [24] Unlocking the Power of Formal Hardware Verification with CoSA and Symbolic QED
    Lonsing, Florian
    Ganesan, Karthik
    Mann, Makai
    Nuthakki, Srinivasa Shashank
    Singh, Eshan
    Srouji, Mario
    Yang, Yahan
    Mitra, Subhasish
    Barrett, Clark
    2019 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2019,
  • [25] TheoSim: Combining symbolic simulation and theorem provina for hardware verification
    Al Sammane, G
    Schmaltz, J
    Toma, D
    Ostier, R
    Borrione, D
    SBCCI2004:17TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, PROCEEDINGS, 2004, : 60 - 65
  • [26] On the surface:: Thread embellishment & fabric manipulation.
    Zlendich, J
    LIBRARY JOURNAL, 1997, 122 (20) : 104 - 104
  • [27] Combining symbolic simulation and interval arithmetic for the verification of AMS designs
    Zaki, Mohamed H.
    Al-Sammane, Ghiath
    Tahar, Sofiene
    Bois, Guy
    FMCAD 2007: FORMAL METHODS IN COMPUTER AIDED DESIGN, PROCEEDINGS, 2007, : 207 - +
  • [28] Manipulation. The Theory and Ethics of a Form of Influencing
    Turza, Christiane
    ZEITSCHRIFT FUR PHILOSOPHISCHE FORSCHUNG, 2018, 72 (03): : 446 - 450
  • [29] AUTOMATING WATER CONSUMPTION DATA MANIPULATION.
    Hirrel, Timothy D.
    1600, (78):
  • [30] Mental manipulation. Sociology of sects in France
    Henckes, Nicolas
    SOCIOLOGIE DU TRAVAIL, 2012, 54 (03) : 423 - 425
12345