HPChecker: An AMBA AHB On-Chip Bus Protocol Checker With Efficient Verification Mechanisms

IEICE Transactions on Information and Systems - Japan
doi 10.1587/transinf.e93.d.2100
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Institute of Electronics, Information and Communications Engineers (IEICE)

Related search

Design and Verification of AMBA APB Protocol

International Journal of Computer Applications
2014English

Synthesis of AMBA AHB From Formal Specification: A Case Study

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2011English

MPEG-based Performance Comparison Between Network-On-Chip and AMBA MPSoC

2008English

Bus Encoding Architecture for Low-Power Implementation of an AMBA-based SoC Platform

IEE Proceedings - Computers and Digital Techniques
2002English

FPGA Implementation of AHB to APB Protocol

International Journal Of Engineering And Computer Science
2016English

Formal Verification of CHP Specifications With CADP Illustration on an Asynchronous Network-On-Chip

Proceedings - International Symposium on Asynchronous Circuits and Systems
Electronic EngineeringEngineeringElectrical
2007English

McMas: An Open-Source Model Checker for the Verification of Multi-Agent Systems

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2015English

A 3-Wire SPI Protocol Chip Design With Application-Specific Integrated Circuit (ASIC) and FPGA Verification

2017English

An Efficient DTW Matching for On-Line Signature Verification

2016English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy