Concepedia

Hardware Assertion Languages

Hardware Assertion Languages is a formal specification language used in digital design verification that enables the expression of temporal properties and behavioral constraints at the register-transfer level, distinguishing it from general-purpose hardware description languages by its focus on assertion-based verification and property checking.

21

Publications

716

Citations

67

Authors

27

Institutions

Publications per year

2017–2026

3

Parents

Publications

21

Automatic test program generation: a case study

Fulvio Corno, Ernesto Sánchez, M. Sonza Reorda et al. · IEEE Design & Test of Computers · 2004 · 126 citations

, , +16

Challenges and Trends in Modern SoC Design Verification

Wen Chen, Sandip Ray, Jayanta Bhadra et al. · IEEE Design and Test · 2017 · 107 citations

, , +17

A principled approach to operating system construction in Haskell

Thomas Hallgren, Mark P. Jones, Rebekah Leslie et al. · 2005 · 71 citations

, , +17

Synthesis of System Verilog Assertions

S.R. Das, Ramanarayan Mohanty, Pallab Dasgupta et al. · 2006 · 58 citations

, , +14

Security Checkers: Detecting processor malicious inclusions at runtime

Michael Bilzor, Ted Huffmire, Cynthia Irvine et al. · 2011 · 44 citations

, , +16

1–5 of 21

Authors

67

  1. MP
    Mark P. Jones

    Yale University, United States

    2 publications · 82 citations

    2

    h-index

  2. PD
    Pallab Dasgupta

    Indian Institute of Technology Kharagpur, India

    2 publications · 86 citations

    2

    h-index

  3. AT
    Andrew Tolmach

    Portland State University, United States

    2 publications · 82 citations

    2

    h-index

  4. TH
    Thomas Hallgren

    Sahlgrenska University Hospital, Sweden

    2 publications · 82 citations

    2

    h-index

  5. RL
    Rebekah Leslie

    Portland State University, United States

    2 publications · 82 citations

    2

    h-index

1–5 of 67

Institutions

27

  1. Indian Institute of Technology Kharagpur

    Kharagpur, India

    2 h-index

    7 publications

    316 citations

  2. Portland State University

    Portland, United States

    2 h-index

    4 publications

    164 citations

  3. Oregon Health & Science University

    Portland, United States

    2 h-index

    4 publications

    164 citations

  4. Mentor Technologies

    Tulsa, United States

    1 h-index

    2 publications

    30 citations

  5. STMicroelectronics (France)

    Montrouge, France

    1 h-index

    2 publications

    22 citations

  6. University of Monastir

    Monastir, Tunisia

    1 h-index

    1 publications

    11 citations

  7. Texas A&M University

    College Station, United States

    1 h-index

    1 publications

    21 citations

  8. Tallinn University of Technology

    Tallinn, Estonia

    1 h-index

    3 publications

    66 citations

1–8 of 27

Venues

  1. IEEE Design & Test of Computers

    2 publications · 139 citations

    2

    h-index

  2. ACM SIGPLAN Notices

    1 publications · 11 citations

    1

    h-index

  3. Computers & Electrical Engineering

    1 publications · 11 citations

    1

    h-index

  4. ACM Transactions on Design Automation of Electronic Systems

    TODAES · 1 publications · 28 citations

    1

    h-index

  5. Journal of Systems and Software

    JSS · 1 publications · 20 citations

    1

    h-index

1–5