Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Neeraj Kr. Shukla
Design and Verification of AMBA APB Protocol
International Journal of Computer Applications
Performance Analysis of Verilog Directed Testbench vs Constrained Random SystemVerilog Testbench
International Journal of Computer Applications
Related publications
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
FPGA Implementation of AHB to APB Protocol
International Journal Of Engineering And Computer Science
Verification of Protocol Conformance and Agent Interoperability
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Protocol Verification in Nuprl
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Security Protocol Verification: Symbolic and Computational Models
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Protocol Verification Using Database Technology
IEEE Journal on Selected Areas in Communications
Computer Networks
Electronic Engineering
Electrical
Communications
A 3-Wire SPI Protocol Chip Design With Application-Specific Integrated Circuit (ASIC) and FPGA Verification
Enhancing Formal Specification and Verification of E-Commerce Protocol
Journal of Advanced Computer Science & Technology
Modeling and Verification of a Time-Triggered Networking Protocol