简介:USBOn-The-Go技术于2001年年底推出,之后,许多半导体公司陆续推出了支持这一新型标准的芯片解决方案,其中ISP1362主机及外设控制器就是飞利浦公司推出的OTG解决方案系列产品中的一款.文中介绍了ISP1362的芯片结构和ISP1362与外部微处理器的两种总线接口连接模式,PIO和DMA模式,最后结合飞利浦公司的FlexiStackOTG软件包,给出基于ISP1362的嵌入式系统的软件架构,并对其进行了简要分析.
简介:为了减少复杂设计中可能的亚稳态风险,不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理,却无法检查处理得是否合理,而静态Formal验证技术采用数学穷举的方法,利用断言对设计中的同步器进行快速验证,确保数据的可靠传输,有效避免了一些设计缺陷。Mentor公司的QuestaCDC和Forma1工具可以对设计进行跨时钟域的检查,并可用Formal引擎证明设计中跨时钟域同步器与其断言的一致性,可极大地提高复杂设计的验证效率和鲁棒性。