JEC:超导RSFQ逻辑电路的等效检查 源码
JEC 超导RSFQ逻辑电路的等效检查 建造 > $win : cd JEC build.dat > $linux : cd JEC build.sh 需要安装以下库和头: gmp:sudo apt-get安装libgmp-dev 阅读线 柔性 野牛 opensmt 2.0.1 libantlr3c 3.2 / 2.4 CVC4 1.8 建立opensmt 环境是linux git clone https://github.com/usi-verification-and-security/opensmt cd opensmt mkdir build && cd build
用户评论
相关推荐
JEC源码
PHP Internet Clock Projetc 链接到组件制造商: 主模块: : 50031&Id = FId = t3: EP显示器: : 项目专栏: : 其他组件: 电池:3.7V,
ZIP
1021KB
2021-04-26 16:26
基于时序逻辑等效性检查方法的RTL验证
寄存器传输级(RTL)验证在数字硬件设计中仍是瓶颈。行业调研显示,功能验证占整个设计工作的70%.但即使把重点放在验证上面,仍有超过60%的设计出带需要返工。其主要原因是在功能验证过程中暴露出来的逻辑
PDF
118KB
2020-11-29 03:41
jec_policy_8
在使用Spring Cloud Config的加密解密功能时，有一个必要的前提需要我们注意。为了启用该功能，我们需要在配置中心的运行环境中安装不限长度的JCE版本（Unlimited Strength
RAR
0B
2018-12-08 15:12
jec_bouncycastle.jar.rar
bouncycastle.jar是一种用于Java平台的开放源码的轻量级密码术包。它支持大量的密码术算法,并提供JCE1.2.1的实现。
RAR
0B
2019-05-22 16:54
MR_JEC编程指南
JE-C详细编程说明,操作步骤,原点回归,点动操作.轨迹运动.
PDF
0B
2019-05-27 13:42
时序逻辑等效性检查方法使设计风险降至
寄存器传输级(RTL)验证在数字硬件设计中仍是瓶颈。行业调研显示,功能验证占整个设计工作的70%。但即使把重点放在验证上面,仍有超过60%的设计出带需要返工。其主要原因是在功能验证过程中暴露出来的逻辑
PDF
92KB
2021-02-25 18:10
简单检查Clojure的快速检查源码
简单检查:Clojure的快速检查
ZIP
23KB
2021-02-01 23:06
耦合电感的等效电感等效电感的类型
等效电感的类型耦合电感的去耦等效电路朱晓卿5030369095方琦5030369072在课上陈老师讲了去耦电路的等效是电路学习中的一个难点，许多同学都会对他的记忆和理解产生问题，于是乎就有了我们这次的
PDF
0B
2019-08-01 05:39
等效电路及等效电阻的计算
等效电路及等效电阻的计算1.doc.........................
DOC
227KB
2020-07-17 16:10
scqubits Python中的超导量子位源码
scqubits:Python中的超导量子位 ( scqubits是用于模拟超导量子位的开源Python库。 它旨在为用户提供一种便捷的方式来获取常见超导量子位的能谱,绘制能级作为外部参数的函数,计算
ZIP
5.89MB
2021-04-26 06:55
等效量规和等效定理
我描述了质量规理论的新颖协变公式，其中纵向极化矢量不随能量增长。 因此，在本形式主义中，与普通形式不同，能量和耦合功率计数在单个费曼图的层次上是完全透明的，在概念和实践上均具有明显的优势。
PDF
485KB
2020-07-23 04:20
智能检查智能检查源码
智能检查(进行中) 该项目的目的是通过创建用于桥梁检查文档的应用程序,使桥梁的检查更加容易。 目标 添加/查看/编辑/删除桥/检查/损坏 定位平面图和3D模型上的桥梁损伤 生成和导出报告为PDF /
ZIP
1006KB
2021-02-09 17:56
Java JEC6安装包
JCE6包是Java在解除向某些国家出口限制的License。
gz
0B
2020-05-23 20:19
EDA PLD中的时序逻辑等效性检查方法使设计风险降至最低
寄存器传输级(RTL)验证在数字硬件设计中仍是瓶颈。行业调研显示,功能验证占整个设计工作的70%。但即使把重点放在验证上面,仍有超过60%的设计出带需要返工。其主要原因是在功能验证过程中暴露出来的逻辑
PDF
95KB
2020-11-22 01:45
电阻的等效变换
电阻的等效变换电阻的等效变换电阻的等效变换
PPT
504KB
2020-07-17 16:10