Automatic Generation of Inductive Invariants from High-Level Microarchitectural Models of Communication Fabrics

@inproceedings{Chatterjee2010AutomaticGO,
  title={Automatic Generation of Inductive Invariants from High-Level Microarchitectural Models of Communication Fabrics},
  author={Satrajit Chatterjee and Michael Kishinevsky},
  booktitle={CAV},
  year={2010}
}
Highly Cited
This paper has 51 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 36 extracted citations

Unbounded safety verification for hardware using software analyzers

2016 Design, Automation & Test in Europe Conference & Exhibition (DATE) • 2016
View 14 Excerpts
Highly Influenced

Scalable liveness verification for communication fabrics

2014 Design, Automation & Test in Europe Conference & Exhibition (DATE) • 2014
View 5 Excerpts
Highly Influenced

Ranking structure in communication fabrics

2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013) • 2013
View 5 Excerpts
Highly Influenced

Automatic extraction of micro-architectural models of communication fabrics from register transfer level designs

2015 Design, Automation & Test in Europe Conference & Exhibition (DATE) • 2015
View 4 Excerpts
Highly Influenced

Scalable progress verification in credit-based flow-control systems

2012 Design, Automation & Test in Europe Conference & Exhibition (DATE) • 2012
View 3 Excerpts
Highly Influenced

Automatic generation of hardware checkers from formal micro-architectural specifications

2018 Design, Automation & Test in Europe Conference & Exhibition (DATE) • 2018
View 2 Excerpts

Formal Micro-Architectural Analysis of On-Chip Ring Networks

2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC) • 2018
View 1 Excerpt

xMAS-Based QoS Analysis Methodology

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems • 2018
View 2 Excerpts

A Structured Visual Approach to GALS Modeling and Verification of Communication Circuits

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems • 2017

51 Citations

0510'11'13'15'17'19
Citations per Year
Semantic Scholar estimates that this publication has 51 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…