Effective abstraction for response proof of communication fabrics

Sayak Ray, Sharad Malik

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

We present a satisfiability backbone-based formulation for ranking structure discovery and thereby present an alternative scalable proof technique for the response properties. Our algorithm offers enhanced automation by reducing the need for user supplied input information compared to the known technique for ranking structure discovery [1]. We demonstrate that backbone based response verification algorithm scales up or attains comparable scalability without user supplied safety invariants.

Original languageEnglish (US)
Title of host publicationProceedings - 2014 8th IEEE/ACM International Symposium on Networks-on-Chip, NoCS 2014
EditorsDavide Bertozzi, Luca Benini, Sudhakar Yalamanchili, Joerg Henkel
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages188-189
Number of pages2
ISBN (Electronic)9781479953479
DOIs
StatePublished - Jan 13 2015
Event8th IEEE/ACM International Symposium on Networks-on-Chip, NoCS 2014 - Ferrara, Italy
Duration: Sep 17 2014Sep 19 2014

Publication series

NameProceedings - 2014 8th IEEE/ACM International Symposium on Networks-on-Chip, NoCS 2014

Other

Other8th IEEE/ACM International Symposium on Networks-on-Chip, NoCS 2014
Country/TerritoryItaly
CityFerrara
Period9/17/149/19/14

All Science Journal Classification (ASJC) codes

  • Computer Networks and Communications
  • Hardware and Architecture
  • Electrical and Electronic Engineering

Fingerprint

Dive into the research topics of 'Effective abstraction for response proof of communication fabrics'. Together they form a unique fingerprint.

Cite this