用Verilog实现最简一维细胞自动机(one-dimensional cellular automaton)

本文主要是介绍用Verilog实现最简一维细胞自动机(one-dimensional cellular automaton),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

首先,我们通过观察上表可以很容易的发现一个规律,center的下一个状态由center的左邻居和右邻居异或而成。center的下一个状态列:01011010,转换为十进制即为90,所以我们将其命名为rule 90.

知道了下一状态产生的规则后,我们就根据其规则实现下面这个电路:

在这个电路中,我们创造512个细胞系统(q[511:0]),在每个时钟周期前进一个步长。load输入将输出q加载为data[511:0],假设边界q[-1]和q[522]都为0.

我们将每一位用左邻居和右邻居的异或表示出来,发现512位太长无法一一枚举,所以观察规律后直接使用按位异或^。左邻居可以不用在最前面添0,按位异或会默认从最低位对齐,高位多出来的用0补齐然后进行计算。代码如下:

module top_module(input clk,input load,input [511:0] data,output [511:0] q ); always@(posedge clk)if (load)q <= data;else//q <= {q[510],q[511]^q[509],q[510]^q[508],……,q[2]^q[0],q[1]}//      left              right//    neighbour         neighbourq <= {1'b0,q[511:1]}^{q[510:0],1'b0};
endmodule

通过找到规则,我们可以很轻易的用Verilog语言来实现rule 90电路,但是如果是更复杂一点的呢。再介绍更复杂规则之前,我们要了解这是什么。

最简一维细胞自动机

乌尔姆(Stanislaw M. Ulam)和冯·诺伊曼(John von Neumann)为了研究机器人自我复制的可能性,在上个世纪50年代提出一种叫做细胞自动机(Cellular Automaton)的离散型动力系统(Discrete Dynamical Systems)。细胞自动机是研究复杂系统行为的理论框架之一,也是人工智能在这个领域的雏形之一。

1982年Wolfram发表了第一篇关于细胞自动机的学术论文,由此开始了对细胞自动机的研究。Wolfram着重研究空间维度为二维的细胞自动机。细胞可能具有的状态只有两种,用颜色表示成黑色或白色。全体细胞中的每一个只根据上一迭代过程中与该细胞紧相邻的三个细胞的状态来决定自己下一步的状态,所有细胞在根据上一步结果确定自己在这一步中将有的状态后,全体细胞同时改变自己的状态到新状态。其结果和细胞自动机的初始条件很有关系。被这样设定的细胞自动机叫做一维细胞自动机。

考虑并排的三个格子,它们分别被赋予黑白两种状态。考虑各种可能的排列方式,我们不难得到共有8种组合状态。这8种组合状态的每一种都各自决定下一个细胞是黑色或白色,这样算下来的排列总共有256种可能性。因此在Wolfram考虑的细胞自动机种类中,细胞改变状态的规则有256种。Wolfram把这256种规则一一编号。譬如下面的图就代表110号规则:

用文字来叙述就是:当某细胞的上一行相邻三个细胞为全黑、全白或者左侧一个细胞为黑时,该细胞为白色,否则为黑色。设定一个简单的细胞初始状态,譬如在第一行只有一个黑色细胞,根据规则110,细胞自动机就可以自动把其余的细胞变成黑色或保留白色。下图就是根据规则110运行了前20步的情况,在这里似乎看不出什么有趣的东西。但运行到几百步后,就出现了一些有趣的特征,一些结构开始既不是周期性地也不是完全随机地出现在画面上。下图是按规则110运行到700步的情况。

https://www.cnblogs.com/easoncheng/p/3782460.html

言归正传,我们如何使用Verilog来实现这一规则呢,rule 110真值表的形式如下:

 更加贴近HDL语言的描述方式是,当left为1时,center ^ right;left为0时,center | right。用代码描述即为

 center <= left ? center ^ right :center | right ;

使用条件语句可以很轻易的描述rule 110,但是在Verilog代码实际编写过程中,我们无法一位一位的进行判断然后进行异或操作或者与操作,于是可以把思路从行为级描述转变到结构级描述,通过使用最基础的与门、或门和异或门来实现上述电路。

q <=( (q[511:0]^{q[510:0],1'b0}) & q[511:1] ) |  ( (q[511:0]|{q[510:0],1'b0}) & (~q[511:1]) );

左邻居是q[511:1],中间是q[511:0],右邻居是{q[510:0],1'b0},通过结构描述即可实现rule 110.


引思

一维细胞自动机通过对下一状态编号,一共有256种规则,其中可以划分为4大类,rule 110在2000年被证明是图灵完备(Turing-complete)的……这是一系列非常晦涩难懂却生动有趣的知识。

抛开细胞自动机这个载体,在集成电路设计领域看来,我们可以直接将上述表格当做真值表,通过画卡洛图、化简真值表达式等一系列方式来用一个公式表示一种规则,最后画出门级电路图,实现所有的rule 0~255电路。

这篇关于用Verilog实现最简一维细胞自动机(one-dimensional cellular automaton)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/283694

相关文章

python实现svg图片转换为png和gif

《python实现svg图片转换为png和gif》这篇文章主要为大家详细介绍了python如何实现将svg图片格式转换为png和gif,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 目录python实现svg图片转换为png和gifpython实现图片格式之间的相互转换延展:基于Py

Python利用ElementTree实现快速解析XML文件

《Python利用ElementTree实现快速解析XML文件》ElementTree是Python标准库的一部分,而且是Python标准库中用于解析和操作XML数据的模块,下面小编就来和大家详细讲讲... 目录一、XML文件解析到底有多重要二、ElementTree快速入门1. 加载XML的两种方式2.

Java的栈与队列实现代码解析

《Java的栈与队列实现代码解析》栈是常见的线性数据结构,栈的特点是以先进后出的形式,后进先出,先进后出,分为栈底和栈顶,栈应用于内存的分配,表达式求值,存储临时的数据和方法的调用等,本文给大家介绍J... 目录栈的概念(Stack)栈的实现代码队列(Queue)模拟实现队列(双链表实现)循环队列(循环数组

C++如何通过Qt反射机制实现数据类序列化

《C++如何通过Qt反射机制实现数据类序列化》在C++工程中经常需要使用数据类,并对数据类进行存储、打印、调试等操作,所以本文就来聊聊C++如何通过Qt反射机制实现数据类序列化吧... 目录设计预期设计思路代码实现使用方法在 C++ 工程中经常需要使用数据类,并对数据类进行存储、打印、调试等操作。由于数据类

Python实现图片分割的多种方法总结

《Python实现图片分割的多种方法总结》图片分割是图像处理中的一个重要任务,它的目标是将图像划分为多个区域或者对象,本文为大家整理了一些常用的分割方法,大家可以根据需求自行选择... 目录1. 基于传统图像处理的分割方法(1) 使用固定阈值分割图片(2) 自适应阈值分割(3) 使用图像边缘检测分割(4)

Android实现在线预览office文档的示例详解

《Android实现在线预览office文档的示例详解》在移动端展示在线Office文档(如Word、Excel、PPT)是一项常见需求,这篇文章为大家重点介绍了两种方案的实现方法,希望对大家有一定的... 目录一、项目概述二、相关技术知识三、实现思路3.1 方案一:WebView + Office Onl

C# foreach 循环中获取索引的实现方式

《C#foreach循环中获取索引的实现方式》:本文主要介绍C#foreach循环中获取索引的实现方式,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧... 目录一、手动维护索引变量二、LINQ Select + 元组解构三、扩展方法封装索引四、使用 for 循环替代

Spring Security+JWT如何实现前后端分离权限控制

《SpringSecurity+JWT如何实现前后端分离权限控制》本篇将手把手教你用SpringSecurity+JWT搭建一套完整的登录认证与权限控制体系,具有很好的参考价值,希望对大家... 目录Spring Security+JWT实现前后端分离权限控制实战一、为什么要用 JWT?二、JWT 基本结构

Java实现优雅日期处理的方案详解

《Java实现优雅日期处理的方案详解》在我们的日常工作中,需要经常处理各种格式,各种类似的的日期或者时间,下面我们就来看看如何使用java处理这样的日期问题吧,感兴趣的小伙伴可以跟随小编一起学习一下... 目录前言一、日期的坑1.1 日期格式化陷阱1.2 时区转换二、优雅方案的进阶之路2.1 线程安全重构2

Android实现两台手机屏幕共享和远程控制功能

《Android实现两台手机屏幕共享和远程控制功能》在远程协助、在线教学、技术支持等多种场景下,实时获得另一部移动设备的屏幕画面,并对其进行操作,具有极高的应用价值,本项目旨在实现两台Android手... 目录一、项目概述二、相关知识2.1 MediaProjection API2.2 Socket 网络