1.需要一种跨越寄存器的约束。要求2个field 的和大于100。只有上节第二种能实现：
2.由于这个约束对所有测试都适用，因此希望写在寄存器模型的constraint 里：
3.这个寄存器模型使自己手工创建的，没问题。但在IC 中，寄存器模型都是由一些脚步命令自动创建的。在验证平台中，用到寄存器的地方有3个：
RTL
systemverilog
C语言
1）必须时刻保...
分类：
其他好文 时间：
2015-07-10 13:38:37
阅读次数：
112
好久没写博客拉```````
最近终于稍微闲一点了```````
无聊拿手机清理短信，发现批量事件的处理还是挺管用的``````
那么自己也来山寨一记看看效果吧`````
闲话少说，首先，我们来看下手机自带的短信功能里执行批量删除时的效果：
然后 是我们自己简单山寨的效果：
模拟的操作过程很简单，但也很有代表性。
我们假定我...
分类：
移动开发 时间：
2015-07-10 13:37:58
阅读次数：
373
Mastering Dart
目录
1
基础2
高级技术/反射3
对象创建4
异步编程5
Stream框架6
Collection框架7
Dart与JavaScript互操作8
国际化和本地化9
C/S通信10
高级存储11
支持其他HTML5特性12
安全
基础
模块化
pubspec.yamlimport...
分类：
其他好文 时间：
2015-07-10 13:36:41
阅读次数：
148
起初我还能说啥呢？就是做课程设计必须用实验室电脑，起初，给我们用的是win7，让后我装了vs2010和sql server2008，都成功了，但是由于电脑太卡，那天就几乎花了一整天的时间。第二天快乐的敲着代码，差不多完成了第三天到下午的时候终于敲完了，就在差不多放学时，最后一次调试软件时竟然蓝屏了！！结果再重新启动一直是蓝屏，并且无限自动重启！
没办法只进其他系统了。（每台电脑有5个系统），其他系...
分类：
其他好文 时间：
2015-07-10 13:38:23
阅读次数：
134
巴巴运动网的产品信息 1、项目图解2、我们开始做我们的相应的功能模块
页面的素材我会上传的，链接是：http://download.csdn.net/detail/cutter_point/8803985产品显示的接口实现/**
* 功能：这个是产品业务的接口
* 文件：ProductInfoService.java
* 时间：2015年5月22日16:48:25
* 作者：cutter_...
分类：
编程语言 时间：
2015-07-10 13:38:30
阅读次数：
146
其实，百度了好多资料，但都是垃圾，呵呵，我就不说话了。
为什么要手动用源码安装，而不是用sudo apt-get呢？没办法咯，官方的版本最新只有3.4的，我要3.4.3的。
呐怎么办呢？
好吧，其实我自己也没办法，只能借助文档里面的README，其实只需要看它就好了，很轻楚的4行代码，搞定！！！！./configure
make
make test
sudo make install
然后就是...
分类：
编程语言 时间：
2015-07-10 13:36:23
阅读次数：
177
170.ASM supports all but which of the following file types? (Choose all that apply.)
A. Database files
B. Spfiles
C. Redo-log files
D. Archived log files
E. RMAN backup sets
F. Password files
G...
分类：
其他好文 时间：
2015-07-10 13:36:26
阅读次数：
140
MYSQL索引分为以下几种类型：
KEY or INDEX ：
普通索引就是不同于唯一索引的一般索引，索引所在列上可以包含有相同的值，所以中的行可能包含完全相同的行。这些索引不会对数据产生任何限制，只是为了加快数据的查询操作。）
UNIQUE ：
唯一索引值的是索引（建立在某些列上）中所有的行必须是唯一的，也就是说索引某行中字段的值和其他行的拥有不同的非NULL值，除了加快查询...
分类：
数据库 时间：
2015-07-10 13:36:51
阅读次数：
180
站点：http://www.dy2018.com/
数据库：mysql 账号:root 密码:123456
建表语句：CREATE TABLE dy2008_url (id int(9) NOT NULL AUTO_INCREMENT, url varchar(2000) NOT NULL, status tinyint(2) NOT NULL, PRIMARY KEY(id));
代码：...
分类：
其他好文 时间：
2015-07-10 13:35:12
阅读次数：
6086
HiWork 是基于云存储的团队即时沟通协作平台，可以根据项目、话题甚至兴趣等建立话题组，沟通记录以及共享文件永久云端保存。新加入的团队成员能够看到团队成员的沟通历史及文件共享信息。通过电脑及手机端都可以随时随地进行沟通以及沟通历史记录查看，会对整个项目的过程以及目前所处阶段有一个全面细致地了解，这样置身于可以随时随地了解沟通上下文的环境中，有效避免了产生理解偏差或沟通准确度递减问题。...
分类：
其他好文 时间：
2015-07-10 13:35:05
阅读次数：
180
Jquery 学习笔记 总结
感想：
此前在做网站时用到过jquery相关，特别是Ajax相关技术，可是并没有系统的进行学习和了解Jquery的强大的功能，趁这几天跟着资料主要的了解下Jquery的特性和插件，感觉原来好多前端设计中感觉很麻烦的东西，通过Jquery的函数和插件都很容易的实现了并且效果极佳。这里只是简单的介绍下Jquery有哪些知识点。
1.基础选择器
（1）. $("bu...
分类：
Web程序 时间：
2015-07-10 13:36:19
阅读次数：
321
什么是CIDR?
CIDR是英文Classless Inter-Domain Routing的缩写，中文是无类别域间路由，是一个在Internet上创建附加地址的方法，这些地址提供给服务提供商（ISP），
再由ISP分配给客户。CIDR将路由集中起来，使一个IP地址代表主要骨干提供商服务的几千个IP地址，从而减轻Internet路由器的负担。
为什么要选择CIDR，CIDR？
主要...
分类：
Web程序 时间：
2015-07-10 13:35:30
阅读次数：
1055
* 进行数组排序，然后按照贪心策略进行合并，具体是考察
* 下一个元素的start是否是介于当前的start和end之间，
* 如果是，则根据需要更新当前end。
* 时间复杂度(O(nlogn))-->排序， 结果获取O(n)
* 空间复杂度(O...
分类：
其他好文 时间：
2015-07-10 13:36:19
阅读次数：
98
如何评价我们开发出来的应用是耗电还是不耗电，如何测试？这就是我们今天讨论的主题——电量测试，一个在移动应用中新出现的测试类型。
移动设备从之前的诺基亚、摩托罗拉等功能机到现在android、iOS等智能机，手机已经越来越普及，功能越来越丰富，但电池技术基本上却停滞不前，逐渐显现出功能机时代没有出现的续航短板，续航待机时间短一直是用户吐槽的焦点，而许多厂商也坦承电池成了制约手机...
分类：
移动开发 时间：
2015-07-10 13:34:40
阅读次数：
318
查看linux机器是32位还是64位的方法：
file /sbin/init 或者 file /bin/ls
/sbin/init: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 2.6.18, stripped
如果显...
分类：
系统相关 时间：
2015-07-10 13:35:47
阅读次数：
146
越大的系统潜在的bug就越多，所以微内核在减少bug方面很有优势，seL4是世界上最小的内核之一。
如今，安全越来越成为一个新兴嵌入式设备的关键要素，如智能手机。...
分类：
其他好文 时间：
2015-07-10 13:34:23
阅读次数：
224
android的后台存在很多service，它们在系统启动的时候被SystemServer开启，来为系统的正常运行做支撑。Activity中要调用这些service就得使用getSystemService方法，这也是Activity很重要的一个API。根据传入的Name取得对应的Object，然后转换成相应的服务对象。
传入的Name
返回的对象
说明...
分类：
其他好文 时间：
2015-07-10 13:35:23
阅读次数：
119
