Concepedia

Pipeline Verification

Pipeline Verification is a formal method for validating the correctness and consistency of computational stages and data flow in a pipeline parallelism system, distinguishing it from general verification techniques through its focus on inter-stage dependencies, synchronization, and stage-wise output integrity within the pipeline execution model.

35

Publications

1.3K

Citations

70

Authors

33

Institutions

Publications per year

2017–2026

4

Parents

Publications

35

Storage and verification stages in processing concepts

Tom Trabasso, Howard Rollins, Edward Shaughnessy · Cognitive Psychology · 1971 · 379 citations

, , +10

Techniques for verifying superscalar microprocessors

Jerry R. Burch · 1996 · 107 citations · Full text

, , +16

PipeCheck: Specifying and Verifying Microarchitectural Enforcement of Memory Consistency Models

Daniel Lustig, Michael Pellauer, Margaret Martonosi · 2014 · 69 citations

, , +17

High-level test generation for design verification of pipelined microprocessors

David Van Campenhout, Trevor Mudge, John P. Hayes · 1999 · 46 citations

, , +12

Automated pipeline design

Daniel Kroening, Wolfgang J. Paul · 2001 · 46 citations

, , +14

1–5 of 35

Authors

70

  1. ND
    Nikil Dutt

    University of California, Irvine, United States

    6 publications · 117 citations

    6

    h-index

  2. PM
    Prabhat Mishra

    University of Florida, United States

    6 publications · 117 citations

    6

    h-index

  3. SK
    Sudarshan K. Srinivasan

    North Dakota State University, United States

    4 publications · 76 citations

    4

    h-index

  4. PM
    Panagiotis Manolios

    Georgia Institute of Technology, United States

    4 publications · 76 citations

    4

    h-index

  5. HT
    Hiroyuki Tomiyama

    Ritsumeikan University, Japan

    3 publications · 58 citations

    3

    h-index

1–5 of 70

Institutions

33

  1. University of California, Irvine

    Irvine, United States

    6 h-index

    18 publications

    339 citations

  2. Georgia Institute of Technology

    Atlanta, United States

    5 h-index

    9 publications

    178 citations

  3. Institute of Systems, Information Technologies and Nanotechnologies

    Fukuoka, Japan

    3 h-index

    3 publications

    64 citations

  4. University of California, Los Angeles

    Los Angeles, United States

    2 h-index

    9 publications

    555 citations

  5. Princeton University

    Princeton, United States

    2 h-index

    3 publications

    517 citations

  6. Lawrence Berkeley National Laboratory

    Berkeley, United States

    2 h-index

    2 publications

    119 citations

  7. Cadence Design Systems (United States)

    San Jose, United States

    2 h-index

    2 publications

    119 citations

  8. Stanford University

    Stanford, United States

    2 h-index

    4 publications

    106 citations

1–8 of 33

Venues

  1. 33rd Design Automation Conference Proceedings, 1996

    Conference · 1 publications · 12 citations

    1

    h-index

  2. Mathematics and Computers in Simulation

    1 publications · 10 citations

    1

    h-index

  3. ACM Transactions on Embedded Computing Systems

    TECS · 1 publications · 30 citations

    1

    h-index

  4. Applied Mathematical Modelling

    1 publications · 26 citations

    1

    h-index

  5. Cognitive Psychology

    1 publications · 379 citations

    1

    h-index

1–5