Concepedia

Assertions

An assertion is a formal syntactic construct in VHDL testbenches that specifies run-time conditions to detect and report violations during simulation, thereby serving as a verification mechanism within error handling by instantiating a monitored predicate on signal behavior.

775

Publications

42.4K

Citations

1.6K

Authors

608

Institutions

Publications per year

2017–2026

117

Parents

Publications

775

The Career of Metaphor.

Brian F. Bowdle, Dedre Gentner · Psychological Review · 2005 · 1.3K citations

, , +16

Preliminary design of JML

Gary T. Leavens, Albert L. Baker, Clyde Ruby · ACM SIGSOFT Software Engineering Notes · 2006 · 787 citations

, , +14

On Reacting to Assertions and Polar Questions

Donka F. Farkas, Kim B. Bruce · Journal of Semantics · 2009 · 704 citations

, , +16

Elections in a Distributed Computing System

Garcia-Molina · IEEE Transactions on Computers · 1982 · 614 citations

, , +10

On the reception and detection of pseudo-profound bullshit

Gordon Pennycook, James Allan Cheyne, Nathaniel Barr et al. · Judgment and Decision Making · 2015 · 556 citations · Full text

, , +12

1–5 of 775

Authors

1.6K

  1. PN
    P. N. Johnson‐Laird

    Princeton University, United States

    10 publications · 750 citations

    10

    h-index

  2. SV
    Shobha Vasudevan

    University of Illinois Urbana-Champaign, United States

    9 publications · 434 citations

    9

    h-index

  3. SK
    Sangeet Khemlani

    United States Naval Research Laboratory, United States

    7 publications · 450 citations

    7

    h-index

  4. GP
    Graziano Pravadelli

    University of Verona, Italy

    7 publications · 240 citations

    7

    h-index

  5. RB
    Robert Bruce Findler

    University of Utah, United States

    6 publications · 637 citations

    6

    h-index

1–5 of 1.6K

Institutions

608

  1. Princeton University

    Princeton, United States

    16 h-index

    26 publications

    2K citations

  2. University of Illinois Urbana-Champaign

    Urbana, United States

    13 h-index

    55 publications

    2.9K citations

  3. Stanford University

    Stanford, United States

    12 h-index

    33 publications

    3.5K citations

  4. Massachusetts Institute of Technology

    Cambridge, United States

    11 h-index

    22 publications

    987 citations

  5. Carnegie Mellon University

    Pittsburgh, United States

    10 h-index

    20 publications

    1.1K citations

  6. University of Oxford

    Oxford, United Kingdom

    10 h-index

    16 publications

    682 citations

  7. Cornell University

    Ithaca, United States

    10 h-index

    12 publications

    676 citations

  8. Microsoft (United States)

    Redmond, United States

    9 h-index

    17 publications

    771 citations

1–8 of 608

Venues

  1. ACM SIGPLAN Notices

    12 publications · 400 citations

    11

    h-index

  2. IEEE Transactions on Software Engineering

    TSE · 12 publications · 541 citations

    10

    h-index

  3. SSRN Electronic Journal

    Repository · 7 publications · 157 citations

    7

    h-index

  4. Electronic Notes in Theoretical Computer Science

    ENTCS · 6 publications · 543 citations

    6

    h-index

  5. The Philosophical Review

    5 publications · 345 citations

    5

    h-index

1–5