在系统编程技术及其应用5.1.pptVIP

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
在系统编程技术及其应用5.1

A B D C A B D C 001 010 000 011 X1X2X3 110 111 101 100 X1 X1X2 __ X1X2X3 __ __ X1X2X3 A X1=1 X3=1 X2=1 B C D yes yes no no yes no (a)传统状态图 (b)MDS图 (c)ASM图 图5.6 状态图、MDS图、ASM图的对应关系 源文件的编写格式分为六个段 1)标题段 module ex1; title ‘ ‘ 2)定义段 模块名 DEVICE ‘器件名’; [!] 信号名 PIN[引脚号] ISTYPE‘属性’; NODE 标识符 = 常量; 标识符 = 数组; 3)逻辑描述段 4)测试向量段 关键字 TEST-VECTORS 5)结束段 END 6)注释 “ ” back A B C D 0/0 00 1/0 01 0/1 1/0 11 10 0/0 1/0 1/1 0/0 A B C D 1 2 3 4 5 6 7 8 9 2 3 4 5 6 7 8 9 1 起始 X S Z 0 1 1 0 1 1 1 0 0 A A B C C D C D B A 0 0 0 0 1 0 1 0 0 0 (a)状态图 (b)测试路径 (c)测试序列 图5.8 测试序列编排举例 按图5.8 的测试序列写出的向量段的程序 程序5.6 test_vectors ([CP, X]- Z) [ 0 , 0 ]- 0; [ C , 0 ]- 0; [ C , 1 ]- 0; [ C , 1 ]- 0; [ C , 0 ]- 1; [ C , 1 ]- 0; [ C , 1 ]- 1; [ C , 1 ]- 0; [ C , 0 ]- 0; [ C , 0 ]- 0; 程序5.7 test_vectors ([CP, X]-[ Q2, Q1, Z ]) [ 0 , 0 ]-[ 0 , 0 , 0 ]; [ C , 0 ]-[ 0 , 0 , 0 ]; [ C , 1 ]-[ 0 , 1 , 0 ]; [ C , 1 ]-[ 1 , 0 , 0 ]; [ C , 0 ]-[ 1 , 0 , 1 ]; [ C , 1 ]-[ 1 , 1 , 0 ]; [ C , 1 ]-[ 1 , 0 , 1 ]; [ C , 1 ]-[ 1 , 1 , 0 ]; [ C , 0 ]-[ 0 , 1 , 0 ]; [ C , 0 ]-[ 0 , 0 , 0 ]; 程序5.8,5.9 是按图5.3编写的包含测试向量段的源文件的例子 程序5.8 MODULE EX1 TITLE ‘A PRESETABLE UP-DOWN COUNTER WITH DECODER —— AN EXAMPLE SOURCE FILE, DEC.1994 SOUTHEAST UNIVERSITY’ Ex1 device ; “INPUTS Clk pin; Re, Ld, Ctr, Ena pin; I1, I2, I3 pin; “OUTPUTS Out1, Out

文档评论(0)

xcs88858 + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

版权声明书
用户编号:8130065136000003

1亿VIP精品文档

相关文档