F~C~H的博客

NPN Class布尔函数f(x)f(x)f(x)，它的NPN class定义为[f][f][f]，另外一个布尔函数g(x)g(x)g(x)在，fff和ggg是NPN等价，当且仅当[f]=[g][f]=[g][f]=[g]。[f][f][f]的 NPN class representative定义为 r(f)r(f)r(f)（r(f)≤lexgr(f)\le_{lex} gr(f)≤lex​g for ∀g∈[f]\forall g \in[f]∀g∈[f]）。Examplef(X)=x1∨x2f

DefinitionFormal verification (形式验证) ： 根据某个或某些形式规范，利用数学的方法证明其正确性或非正确性；(Formal verification methods make use of mathematical techniques to insure the integrity of a design with respect to some desired characteristics)Metrics For Approximate ComputingWo

以下操作均需要在linux环境下执行。 首先到http://www.minisat.se/MiniSat.html下载minisat-2.2.0.tar.gz这个安装包，并解压缩，可以看到压缩包中有一个README，其中就包含了安装方法： 1.进入解压缩后的文件夹 2.export MROOT=文件夹所在路径    //这句的意义是声明一个环境变量保存文件夹路径，下面的make命令会调用这...