lvc:LVC验证的编译器 源码
LVC编译器项目 LVC代表线性验证编译器。 编译器基于线性一阶语言IL [1,2]。 该项目的目标是表明功能性SSA,即使用功能性样式词法变量绑定为静态单一分配(SSA)提供了可行的语义基础。 CoqDoc文档可。 依存关系 辅酶Q 来源使用Coq版本8.7.2(2018年3月)进行编译。 其他版本可能会起作用。 OCaml (包括ocamlbuild) 源代码使用ocaml 4.04.2版进行编译,其他版本也可以使用。 OCaml应该包括ocamlbuild。 门希尔 解析器生成器主要与ocamlyacc兼容(但更能解释冲突): ://gallium.inria.fr/~fpo
用户评论
相关推荐
74LVC4245A
74LVC4245A，将3.3V芯号转化为驱动能力更强的5V，
pdf
0B
2019-02-25 03:01
74LVC16245
74LVC16245芯片文档、资料、工具的所有权归原作者所有,仅供研究学习之用。
PDF
108KB
2020-11-17 07:51
SN54LVC04A SN74LVC04A PDF HEX
The SN54LVC04A hex inverter contains six independent inverters designed for 2.7-V to 3.6-V VCC opera
pdf
892.143 KB
2022-10-10 14:37
SN54LVC32A,SN74LVC32A,pdf(Quad
The SN54LVC32A quadruple 2-input posiTIve-OR gate is designed for 2.7-V to 3.6-V VCC operaTIon, and
pdf
785.038 KB
2023-01-06 04:16
74LVC4245Apdf
74LVC4245A的芯片资料 此芯片可用为总线选通和电平匹配使用
PDF
0B
2019-02-25 03:01
74LVC595datasheetPDF
与hc595有所不同 lvc595 datasheet有点难找
PDF
0B
2019-01-20 06:47
SN74lvc245
5v至3.3v电压转换芯片
PDF
112KB
2020-07-23 08:54
74LVC245.pdf
5V转3.3V电压转换芯片，8位双向转换，20引脚
pdf
0B
2020-05-15 04:11
sn74lvc手册
sn74的芯片手册
PDF
0B
2020-05-22 16:06
74LVC32A_3
很好的嵌入式 arm 学习资料 需要的话可以下下来看看 希望对大家有用
PDF
93KB
2021-04-26 10:17
复位芯片74LVC
用于复位电路,小封装,低功耗。可以用在功放芯片的使能脚,低电压开启不够高的时候用这个芯片来使能用。
PDF
176KB
2021-04-20 07:28
74lvc08.pdf
74lvc08.pdf
pdf
236.540 KB
2023-01-05 16:04
74LVC16245的芯片手册
74LVC16245的英文芯片手册,对74LVC16245的结构,功能以及相关的数据的概括。
PDF
474KB
2020-11-17 07:51
74LVC4245数据手册
可用于 3.3 V 至 5v 之间电压转换的 74 lvc4245 的数据手册是为了使不同电压标准的芯片连接成为可能
RAR
0B
2019-06-21 14:29
SN74LVC4245A pdf
SN74LVC4245A
pdf
0B
2020-05-15 04:11