论文部分内容阅读
随着uClinux应用与普及,移植uClinux和在Linux开发平台上设计嵌入式应用系统都迫切需要好的调试工具,而现有的Windows下的调试工具很难用于Linux系统。介绍如何在GDB的基础上,低成本实现嵌入式板的JTAG调试。
基于JTAG的ARM调试器实现
【摘 要】
：
随着uClinux应用与普及,移植uClinux和在Linux开发平台上设计嵌入式应用系统都迫切需要好的调试工具,而现有的Windows下的调试工具很难用于Linux系统。介绍如何在GDB的基础上,低成本实现嵌入式板的JTAG调试。
【机 构】
：
浙江大学计算机学院
【出 处】
：
计算机应用与软件
【发表日期】
：
2007年02期
【基金项目】
：
国家863资助项目（编号：2002.AAIZ1050）.
其他文献
一忌好高骛远."人贵有自知之明".过高的不切实际的评价自己的才能是求职应聘的大忌.时下有些大学生毕业生对自己素质、能力等就业实力的评价过高,孤芳自赏,自我感觉良好,而与
为了保障证券市场的安全运营,降低整个证券市场的运营成本,上证所建立了拨号备份系统。在此系统平台上可完成委托交易、SDH地面行情用户身份认证、文件传输用户身份认证等多项业务,采用了RSA身份认证、路由器、防火墙、交换机ACL安全控制等多项先进技术。实现了系统高可靠性、高安全性、高扩展性等特性。
Isabelle是一个通用的定理证明器,应用领域广泛。介绍Isabelle逻辑系统的功能和构成,分析了Isabelle的规格说明语言、验证系统的特点,并给出了用Isabelle逻辑系统来构造Z规格说明的定理证明的方法。