Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Liang-Bi CHEN
HPChecker: An AMBA AHB On-Chip Bus Protocol Checker With Efficient Verification Mechanisms
IEICE Transactions on Information and Systems
Electronic Engineering
Pattern Recognition
Hardware
Computer Vision
Electrical
Architecture
Artificial Intelligence
Software
Related publications
Design and Verification of AMBA APB Protocol
International Journal of Computer Applications
Synthesis of AMBA AHB From Formal Specification: A Case Study
International Journal on Software Tools for Technology Transfer
Information Systems
Software
MPEG-based Performance Comparison Between Network-On-Chip and AMBA MPSoC
Bus Encoding Architecture for Low-Power Implementation of an AMBA-based SoC Platform
IEE Proceedings - Computers and Digital Techniques
FPGA Implementation of AHB to APB Protocol
International Journal Of Engineering And Computer Science
Formal Verification of CHP Specifications With CADP Illustration on an Asynchronous Network-On-Chip
Proceedings - International Symposium on Asynchronous Circuits and Systems
Electronic Engineering
Engineering
Electrical
McMas: An Open-Source Model Checker for the Verification of Multi-Agent Systems
International Journal on Software Tools for Technology Transfer
Information Systems
Software
A 3-Wire SPI Protocol Chip Design With Application-Specific Integrated Circuit (ASIC) and FPGA Verification
An Efficient DTW Matching for On-Line Signature Verification
