机译:HPChecker:具有有效验证机制的AMBA AHB片上总线协议检查器
Department of Computer Science and Engineering, National Sun Yat-Sen University, Kaohsiung, Taiwan, R.O.C.;
rnDepartment of Computer Science and Engineering, National Sun Yat-Sen University, Kaohsiung, Taiwan, R.O.C.;
rnDepartment of Computer Science and Engineering, National Sun Yat-Sen University, Kaohsiung, Taiwan, R.O.C.;
rnDepartment of Computer Science and Engineering, National Sun Yat-Sen University, Kaohsiung, Taiwan, R.O.C.;
AMBA; debugging; system-on-a-chip (SoC); protocol checker; verification;
机译:HPChecker:具有有效验证机制的AMBA AHB片上总线协议检查器
机译:带有Amba AHB的片上总线跟踪分析仪,可进行实时跟踪,并为SOC进行无损数据压缩
机译:使用UVM方法验证基于AMBA-AHB的IP验证
机译:AMBA AHB总线协议检查器,具有高效调试机制
机译:本地计算机网络数据链路层协议(运营商感知,多次访问,通过令牌环的总线环)的建模和验证。
机译:理解P450机理的计算协议以及高效和选择性生物催化剂的设计
机译:带有amba aHB的片上总线跟踪器分析仪,用于sOC的无损数据压缩实时跟踪