Bus based System-on-Chip (SoC) design has become the major integrated methodology for shortening SoC design time. The main challenge is how to verify on-chip bus protocols efficiently. Although traditional simulation-based on-chip bus protocol checkers are still lack of an efficient bus protocols verification environment such as FPGA level or chip-level. To overcome the shortage, propose a synthesizable AMBA AXI4 protocol checker. ARM introduced the Advanced Microcontroller Bus Architecture (AMBA) 4.0 specifications which includes Advanced eXtensible Interface (AXI) 4.0.