社区
Java EE
帖子详情
有人用过SVF吗?
zilanyougu
2008-09-25 04:42:26
有用过的高手能讲讲它的大概原理吗,或者给点资料什么的,谢谢!
...全文
1679
16
打赏
收藏
有人用过SVF吗?
有用过的高手能讲讲它的大概原理吗,或者给点资料什么的,谢谢!
复制链接
扫一扫
分享
转发到动态
举报
写回复
配置赞助广告
用AI写文章
16 条
回复
切换为时间正序
请发表友善的回复…
发表回复
打赏红包
纳税人阿Q
2010-12-29
打赏
举报
回复
楼上的有没有人能提供一下[SvfrServer.exe]文件,不胜感激
dawn023
2008-10-27
打赏
举报
回复
可以提供一些svf的开发包,可能下一个项目会用到。
myhotsun
2008-10-17
打赏
举报
回复
你可以在程序中实现,判断这六个值是否变化,如果变化,重新调用这个模板,再次打印。这样页数也就自然是从1重新开始了。
myhotsun
2008-10-17
打赏
举报
回复
模板可以实现。你可以设置一个隐藏字段,这个字段等于这六个值得字符串连接。只要这个隐藏字段发生变化,那就换页。我想换页的方法你应该知道吧。不需要我另行说明了吧。但你要注意的是,你这六个字段应该是明细deta,而不能是单一data。否则是无法实现的。
ouyangxiaokang6
2008-10-17
打赏
举报
回复
[Quote=引用 11 楼 myhotsun 的回复:]
模板可以实现。你可以设置一个隐藏字段,这个字段等于这六个值得字符串连接。只要这个隐藏字段发生变化,那就换页。我想换页的方法你应该知道吧。不需要我另行说明了吧。但你要注意的是,你这六个字段应该是明细deta,而不能是单一data。否则是无法实现的。
[/Quote]
在main里面设计隐藏字段,然后每一页里也要设定。
zilanyougu
2008-10-16
打赏
举报
回复
请问像上面说的是不是只能在程序中实现,在模板内是否可以实现呢?
zilanyougu
2008-10-16
打赏
举报
回复
是的,要进行翻页,翻页是由其中六个头部的值控制的,只要其中的一个有改变就要翻页,而且页码就要从1开始重新计,如果是那六个的值全都相等,而且数据多要进行翻页的话,那他的页面继续累加就可以了,不知道我说清楚没有,可以加你为好友吗,我qq278076450,或msn也可以
zilanyougu
2008-10-15
打赏
举报
回复
好人啊!现在就剩下这么一句话不知道该怎么实现了
“Charter Contract No. / NYK Vessel Code / Voyage / Port/Berth / Activity Date / NYK A/C Code ごとに1ページから順に採番する。”
大概意思就是说依据上面几个属性的值,只要有一个改变,那就要将它的页数从1开始算
有劳你了!!谢谢
ouyangxiaokang6
2008-10-15
打赏
举报
回复
"那就要将它的页数从1开始算 ",什么意思?你是一次出多
张账票吗?
你可以在程序里面判断,然后调用不同的模版。
ouyangxiaokang6
2008-10-14
打赏
举报
回复
1,xml里面的属性和你程序里面的属性名称要一致。
2,格式要一致
能把错误粘出来吗?我帮你解决。
zilanyougu
2008-10-13
打赏
举报
回复
第一次接触SVF,原理是这样,我们是要通过svf做好模板,然后结合csv文件打印出pdf,现在有些数据老显示不出来,很是郁闷啊!高手们指点指点吧
zilanyougu
2008-10-13
打赏
举报
回复
需要,麻烦您发到zinanyougu@126.com
不胜感激
myhotsun
2008-10-09
打赏
举报
回复
帐票的基本原理都是差不多的。事先画好模板,数据显示的地方设置成变量。然后在程序中调用这个模板,就把这些变量的值传递过去就可以了。
myhotsun
2008-10-09
打赏
举报
回复
不用说,应该是做对日软件外包的吧。国内开发没人用这个。所有的资料也都是日文的。你需要吗。我可以提供。
Design Compiler:set_
svf
命令以及
SVF
文件简介
本文介绍了Synopsys Design Compiler中的set_
svf
命令及
SVF
文件的作用,
SVF
用于向Formality传递综合阶段的设计变更信息,如名称修改、寄存器优化、FSM重编码等,提升形式验证效率。文中详述了set_
svf
的语法、文件控制选项及其工作机制,并给出实际应用示例。
Formality:set_
svf
命令
本文介绍Formality工具中的set_
svf
命令,重点解析其在加载
SVF
文件时的追加与覆盖行为、加载顺序控制、扩展名指定及搜索目录功能,并说明如何清除已加载的
SVF
信息和相关使用限制,确保形式验证过程中正确传递Design Compiler的设计变更信息。
JTAG 学习 -
SVF
格式
本文介绍了JTAG技术中的
SVF
文件格式,详细解析了
SVF
文件中的命令如SIR、SDR、TIR、HIR、TDR和HDR,以及它们在多器件JTAG链中的应用。通过实例展示了如何使用
SVF
文件进行器件编程,并讨论了如何处理不同器件之间的数据传输。
程序分析-基于
SVF
实现AnderSen指针分析算法
本文详细介绍了AnderSen算法在LLVMIR上的应用,涉及C代码编译、SSA形式的转换,以及如何通过
SVF
进行程序赋值图构建和指针分析,展示了算法的约束条件和执行流程,以及在实际环境中
SVF
API的使用。
SVF
系列---概述
本文作为
SVF
系列的开篇,介绍了
SVF
作为一个C程序分析框架的概览,强调其高扩展性和低耦合性。通过LLVM前端将C源码转化为IR,然后执行Anderson指针分析等,构建值流图以支持定制化的静态分析算法。后续内容将逐步深入源码,探讨指针分析、多线程分析和内存错误检测等技术。
Java EE
67,536
社区成员
225,852
社区内容
发帖
与我相关
我的任务
Java EE
J2EE只是Java企业应用。我们需要一个跨J2SE/WEB/EJB的微容器,保护我们的业务核心组件(中间件),以延续它的生命力,而不是依赖J2SE/J2EE版本。
复制链接
扫一扫
分享
社区描述
J2EE只是Java企业应用。我们需要一个跨J2SE/WEB/EJB的微容器,保护我们的业务核心组件(中间件),以延续它的生命力,而不是依赖J2SE/J2EE版本。
社区管理员
加入社区
获取链接或二维码
近7日
近30日
至今
加载中
查看更多榜单
社区公告
暂无公告
试试用AI创作助手写篇文章吧
+ 用AI写文章