Concepedia

Control-path Assertions

Control-Path Assertions is a formal verification methodology that specifies and checks temporal properties governing the sequencing and branching behavior of control logic in hardware designs, distinguishing it from data-path assertions by focusing on control flow correctness rather than data transformations.

11

Publications

428

Citations

27

Authors

17

Institutions

Publications per year

2017–2026

0

Parents

Publications

11

Low-cost on-line fault detection using control flow assertions

Rajesh Venkatasubramanian, John P. Hayes, B.T. Murray · 2004 · 152 citations

, , +17

Is “sometime” sometimes better than “always”?

Zohar Manna, Richard Waldinger · Communications of the ACM · 1978 · 72 citations · Full text

, , +15

Assertion checking by combined word-level ATPG and modular arithmetic constraint-solving techniques

Chung-Yang Huang, Kwang‐Ting Cheng · 2000 · 38 citations · Full text

, , +15

From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria

Sergiy Vilkomir, Jonathan P. Bowen · Formal Aspects of Computing · 2006 · 37 citations · Full text

, , +8

Verification of Datapath and Controller Generation Phase in High-Level Synthesis of Digital Circuits

Chandan Karfa, Dipankar Sarkar, Chittaranjan Mandal · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2010 · 29 citations

, , +17

1–5 of 11

Authors

27

  1. BM
    B.T. Murray

    University of Michigan, United States

    1 publications · 152 citations

    1

    h-index

  2. HA
    Hasan Amjad

    University of Cambridge, United Kingdom

    1 publications · 18 citations

    1

    h-index

  3. JS
    Joseph Sifakis

    Verimag, France

    1 publications · 18 citations

    1

    h-index

  4. CH
    Chung-Yang Huang

    National Taiwan University, Taiwan

    1 publications · 38 citations

    1

    h-index

  5. KI
    Kei Imafuku

    Nara Institute of Science and Technology, Japan

    1 publications · 20 citations

    1

    h-index

1–5 of 27

Institutions

17

  1. University of Cambridge

    Cambridge, United Kingdom

    1 h-index

    1 publications

    18 citations

  2. Stanford University

    Stanford, United States

    1 h-index

    1 publications

    72 citations

  3. Cornell University

    Ithaca, United States

    1 h-index

    1 publications

    15 citations

  4. Indian Institute of Technology Kharagpur

    Kharagpur, India

    1 h-index

    3 publications

    87 citations

  5. Institut Supérieur des Études Technologiques en Communications de Tunis

    Aryanah, Tunisia

    1 h-index

    2 publications

    22 citations

  6. University of Limerick

    Limerick, Ireland

    1 h-index

    1 publications

    37 citations

  7. Aptiv (United States)

    Troy, United States

    1 h-index

    1 publications

    152 citations

  8. Nara Institute of Science and Technology

    Ikoma, Japan

    1 h-index

    4 publications

    80 citations

1–8 of 17

Venues

  1. Communications of the ACM

    1 publications · 72 citations

    1

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 1 publications · 18 citations

    1

    h-index

  3. Journal of Electronic Testing

    JETTA · 1 publications · 18 citations

    1

    h-index

  4. Acta Informatica

    1 publications · 18 citations

    1

    h-index

  5. Formal Aspects of Computing

    1 publications · 37 citations

    1

    h-index

1–5