- 博客(27)
- 问答 (4)
- 收藏
- 关注
RSS订阅原创 UVM中的objection机制---使用sequence来控制objection
1.在uvm_test中使用uvm_do宏来启动sequence，结果出现了create_item,start_item,finish_item not found的错误。>2. 在run_phase中没有raise objection情况下，使用seq的start方式启动sequence，结果在仿真时直接结束。（这里不再在run/main phase中控制objection）
2024-03-27 11:09:41
175
原创 jaspergold sec验证基于srt的除法模块
c2rtl验证基于srt的除法模块暂时验不出来，那就试试sec，但是前提你得有个相似的golden的spec rtl
2024-02-04 11:24:34
221
原创 jaspergold c2rtl 验证一个基于srt的除法模块(没验出来)
基于srt的除法模块cycle delay是不固定的，c2rtl在验证除法模块时可以添加额外的辅助fifo存储c的结果，但是还是特么没有验出来。在此只是记录一下方法，万一别的地方可用呢
2024-02-04 10:51:26
154
原创 c model与systemverilog变量映射的学习示例
c model 与 sv 交互时需要定义一对函数，函数中的变量需要一一对应。因此，总结一下c/c++端的变量与systemverilog端的变量对应关系。其中svOpenArrayHandle较为复杂，需要调用库函数对其处理。
2023-11-13 17:59:32
159
原创 uvm 验证时加入c/c++ reference model
本文介绍了uvm中使用dpi的方式编写ref model。并展示了一个使用context function的示例
2023-11-10 17:35:25
416
原创 形式化验证算法简介
形式验证相比stimulus仿真验证更加简洁，减少了IC验证的一部分工作量。但并不是适合所有验证情况，目前针对计算密集型模块的形式验证比较成熟。本文主要介绍了逻辑锥概念以及四种基本的形式化验证算法。
2023-11-08 20:55:40
146
原创 如何打印uvm_field_sarray_int？
当尝试使用transaction_class.print()或者sprintf()打印transaction内容时，输出的结果如下图所示，是截断的，只有前后的部分输出，如何将其全部打印输出呢？难道要用for loop？在transaction class中，有一个固定大小的array，并且用uvm_field_sarray_int 宏注册了这个array。field宏打印输出时是有些限制的。可以定义一个专门用于输出的函数。array大小为44；
2023-10-27 17:28:57
144
原创 AndroidStudio使用手机调试时出现windows没有ADB interface？
安装对应手机品牌的手机助手，一般会提示安装手机驱动。。
2020-09-21 15:57:05
762
原创 java使用invoke反射调用成员函数时遇到的坑--＞ IllegalArgumentException: wrong number of arguments
参考博客：https://www.cnblogs.com/firstdream/p/4830960.html问题背景：使用invoke传递参数时，要考虑参数的个数：public Object invoke(Object obj, Object... args)/*Parameters:obj - the object the underlying method is invoked fromargs - the arguments used for the me
2020-09-01 20:18:38
1594
1
原创 数据库锁——冒出的问题
1）为啥要加S锁？直接读不就得了？ -------->数据加S锁后，其他事务不可对该数据进行修改删除插入操作，可以防止不可重复读？？2）三级封锁协议中，一级封锁协议为啥要加X锁？而不是S锁？为啥要先考虑保护修改而不是读取呢？ -------->一级协议对如何加X锁进行了约束，即在修改数据之前加X锁，直到事务结束后才释放。 二级协议和三级协议补充了一级协议，对如何加S锁进行了约束： 二级协议中规定：除了一级协议外，事务如果...
2020-08-28 10:33:30
146
原创 看代码系列: frameworks/base/core/java/android/os/HandlerThread.java
Question:一、onLooperPrepared()可以在Looper开始循环之前做一些什么样的Setup操作呢？？二、synchronized(this)，放在run()函数中保护Looper的获取过程，为啥要保护呢？ getLooper()中也加了synchronized(this)，为哈？三、在getLooper()中 需要判断mLooper是否为空，是不是说在HandlerThread执行run()方法之前，会有可能被调用getLooper()???/* ...
2020-08-26 16:23:09
255
原创 handler机制———冒出的问题
什么是Message，是用来干嘛的？ 有哪些类型或者行为？安卓中的UI线程有几个？handler机制为啥叫异步回调，异步性体现在哪儿？线程如何调用handler？------>new一个一个app中有几个MessageQueue？几个Looper？------>每个线程的Looper都是独立的，一个线程对应一个Looper，可以用Looper，也可以不用Looperhandler如何把消息交给主线程的？------>Hand...
2020-08-25 17:01:47
118
1
原创 笔记 (简略)--＞Android中的消息机制——Handler机制
Handler机制的作用：1.异步回调机制2.将工作线程需要操作UI的消息传递到主线程，使主线程可根据工作线程的需求更新UIHandler机制的组成：1.handler类Handler类利用自身的处理机制，对传入的各种Object进行相应的处理并产生最终结果。作用： 1）处理Message， 2）将Message压入MessageQueue中。2.Looper类Looper从MessageQueue中取出一个Mess...
2020-08-24 20:34:41
108
原创 笔记--＞TCP中的滑动窗口机制与拥塞控制
TCP传输过程中，发送方发送数据量受到接收方缓冲区大小和链路带宽的限制。滑动窗口机制：发送的数据量（拥塞窗口）必须不大于接收方可接收数据窗口（接收窗口）大小。零窗口死锁情况：当接收缓冲区满后，接收方B发送{ACK=xxxx,WIN=0}的确认报文，发送方A收到确认报文后处于阻塞等待状态。接收方B读取部分内容后，缓冲区有剩余，再次发送{ACK=xxxx,WIN=yyyy}的更新确认报文,此时如果报文丢失，则发送方A和接收方B都进入阻塞等待状态，产生了死锁。因此，TCP设置了持续定时器（
2020-08-22 16:04:34
523
原创 笔记--＞ 数据库中四种事物隔离级别以及导致的并发一致性问题
READ UNCOMMITED “未提交的读取”事务中的修改即时没有提交，对其他事务也是可见的 ----->导致其他事务能够读取该事务修改的中间 状态---脏读。READ COMMITED “提交的读取”事务必须提交之后，数据才能被其他事务可见 ---->使用快照读的时候，事物A在读取数据过程中，数据遭到了其他事务的UPDATE，事务A再次读取该数据的快照时会发生不可重复读。 ---->使用快照读的时候，事物A在读取数据过程...
2020-08-21 21:11:41
303
原创 Android 学习之初识wifi
废话不说，上代码：MainActivity.javapackage com.wanmen.acer.wifi_test;import android.content.DialogInterface;import android.support.v7.app.AlertDialog;import android.support.v7.app.AppCompatActivi
2016-09-13 20:04:16
238
原创 一个简单的回调函数
public class MapActivity extends Activity implements PositionChanged{private static final String ACTION = "android.provider.Telephony.SMS_RECEIVED";/*** MapView 是地图主控件*/private MapV
2016-08-17 21:30:53
288
原创 Intent传值时的一个空指针错误
在mainactivity.java中用Intent向mapactivity.java传值时出现了一个空指针错误：//mainactivity.javaIntent intent = new Intent();intent.putExtra("smsbody",smsbody);intent.setClass(MainActivity.this,MapActivity.clas
2016-08-16 20:06:27
982
空空如也
vim正则表达式如何查找某一字符串后面的数字，而不包含字符串呢？
2022-08-10
Android studio SDK update sites 全都挂感叹号？？
2020-09-28
Android studio 无法下载support依赖包？？
2020-09-28
TA创建的收藏夹 TA关注的收藏夹
TA关注的人