A Refinement Approach to Design and Verification of On-Chip Communication Protocols

doi 10.1109/fmcad.2008.ecp.22
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

Modular Verification of Computer Communication Protocols

IEEE Transactions on Communications
1983English

AnBx - Security Protocols Design and Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Formal Specification and Verification of Communication in Network-On-Chip: An Overview

International Journal of Recent Contributions from Engineering, Science & IT (iJES)
2018English

A Design Flow for Application-Specific Networks on Chip With Guaranteed Performance to Accelerate SOC Design and Verification

English

Cases on Intercultural Communication: New Approach to Design

Journal of Siberian Federal University - Humanities and Social Sciences
Anthropology
2018English

Hardware/Software Co-Design of Communication Protocols

English

Verification of Security Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Verification of Security Protocols

English

Developing Security Protocols by Refinement

2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy