2019年1月20日
Rocket - decode - 几个问题
摘要： https://mp.weixin.qq.com/s/pMsK_E4mQrm3QXdnp7nDPQ 讨论指令解码部分遗留的几个问题。 1. 最小项与蕴含项之间的关系 参考链接： https://en.wikipedia.org/wiki/Implicant 按其中的描述： ​​ An implica 阅读全文
posted @ 2019-01-20 22:43 wjcdx 阅读(503) 评论(0) 推荐(0) 编辑
Rocket - decode - SimplifyDC
摘要： https://mp.weixin.qq.com/s/4uWqBRrMVG6FlnBKmw8U-w 介绍SimplifyDC如何简化解码逻辑。 1. 使用 ​​ 简化从mint和maxt中查找的逻辑。 其方法签名如下： ​​ 其中： a. minTerms: 使结果为1的蕴含项； b. maxTer 阅读全文
posted @ 2019-01-20 15:14 wjcdx 阅读(377) 评论(0) 推荐(0) 编辑
Rocket - decode - Term
摘要： https://mp.weixin.qq.com/s/CbBWdTlc_DESlUzd8KFcSg 介绍Term类各方法的实现。 ​​ 1. prime 表示一个项是否是质项，即这个项是否被其他项包含。如项AB包含项ABC。 2. covers ​​ this covers x，即项this包含项x 阅读全文
posted @ 2019-01-20 15:13 wjcdx 阅读(292) 评论(0) 推荐(0) 编辑
Rocket - decode - Simplify
摘要： https://mp.weixin.qq.com/s/YWXYNaRU-DbLOMxpzF2bpQ 介绍Simplify如何简化解码逻辑。 1. 使用 Simplify在DecodeLogic中使用，如下： ​​ 简化从t和dc项中查找的逻辑。 其方法签名如下： ​​ 其中： a. minTerms 阅读全文
posted @ 2019-01-20 15:13 wjcdx 阅读(373) 评论(0) 推荐(0) 编辑