用于在时序电路aig和dfa之间移动的库。

py-aiger-dfa的Python项目详细描述


Py aiger DFA

用于在aig电路和dfa之间转换的python库。

Build StatuscodecovPyPI versionLicense: MIT

目录

安装

如果您只需要使用aiger_dfa,您可以运行:

$ pip install py-aiger-dfa

对于开发人员,请注意此项目使用 poetrypython包/依赖项 管理工具。请熟悉它,然后 运行:

$ poetry install

用法

使用这个库的主要入口点是dfa2aigaig2dfa函数。使用 dfa包装。熟悉 ^假设有{}、py-aigerpy-aiger-bv包。

DFA至AIG

DFA转到AIG对象的示例 如下所示。

fromdfaimportDFAfromaiger_dfaimportdfa2aigmy_dfa=DFA(start=0,inputs={0,1},label=lambdas:(s%4)==3,transition=lambdas,c:(s+c)%4,)my_aig,relabels=dfa2aig(my_dfa)

现在circ是一个AIG,而relabels是来自输入的映射, 状态,并将my_dfa输出到其1-hot编码的 my_aig中的对应项。

relabels具有以下架构:

relabels={'inputs':..,# Bidict from 1-hot index to dfa input.'outputs':..,# Bidict from 1-hot index to dfa output.'states':..,# Bidict from 1-hot index to dfa state.}

其中bidicthttps://bidict.readthedocs.io/en/master/

AIG到DFA

dfa2aig相反的是aig2dfa。用同样的例子。

fromaiger_dfaimportaig2dfamy_dfa2=aig2dfa(my_aig,relabels=relabels)assertmy_dfa2.label((1,0,0,1,1,0))==my_dfa.label((1,0,0,1,1,0))

欢迎加入QQ群-->: 979659372 Python中文网_新手群

推荐PyPI第三方库


热门话题
servlets java在linux中执行命令   java在创建JSON时,如何避免将相同的数据两次写入JSON   java我们可以将同一父类的不同类型的子类读/写到文本文件中吗?   java Goolge maps Api通过代码和浏览器返回不同的结果   java在主UI线程中实现runnable的类方法上设置计时器   java试图检索多个JDBC结果   eclipse如何使用java中的NSApplication和NSWindow访问mac中打开的窗口及其内容?   java无法使用hibernate更新MySQL中的行   java如何在并非所有节点都使用*算法连接的情况下找到最短路径?   在IntelliJ中使用Maven、Spring和ApacheSpark的java会导致错误   java用结果集的子集填充行集   java在RCP应用程序中实现postWindowClose()   从EditText获取值时发生java错误   java Aspectj maven插件和Jettyll编译警告   java数组、列表、集合和映射都是可编辑的。还有什么?