欧拉士大夫-CSDN博客

翻译 UVM验证方法学之Virtual Sequence和Virtual Sequencer

什么是虚拟sequencers和虚拟sequences，在什么时候使用它们？当我们需要使用多种驱动agents协调生成激励的测试用例，则需要使用虚拟sequences来完成。今天学习的这篇论文[1]充分详细的介绍了和句柄以及与这些句柄一起使用的宏（`uvm_declare_p_sequencer）和方法。SystemVerilog具有虚拟类，虚[2]拟方法和虚拟接口，所有这三个都需要“ virtual”关键字。

2023-10-06 11:37:24 689

原创 gooooood bye 2014---gooooooooooood luck 2015

2014年是奋斗拼搏的一年，在这一年里我不曾放弃自己的梦想；2014年是悲喜交加的一年，在这一年里我不曾对未来充满恐惧；2014年最感到遗憾的就是，我依旧是一个人孤独的前行（屌丝一个，衰。。。。。。），还有就是没能把大一下学期的成绩搞高一点（成绩不是太重要，但是还是能够体现个人的某一些能力的，，，，平时学的太苦太累就没意思了，，，，），， 2014年1月份算是正式开始了我的ACM之旅，

2015-01-01 15:03:51 706

原创 C++ STL入门代码

/********************************************//** * The author: yTOc * Algorithm : STL中vector的构造 * The date : 2014-10-09 23:11:37 ***********************************************/#include #inclu

2014-10-09 23:09:55 507

原创【树转数组】poj1195

/*二维的树状数组：更新一个a元素的时候。如果a[i]更新了，那么以下几项都需要更新：NO.1:c[n1],c[n2],c[n3],....,c[nm];其中n1 = i,n(i+1) = ni+lowbit(ni);nm+lowbit(nm)的值应该大于a的元素个数N。NO.2:sum(k)=c[n1]+c[n2]+...+c[nm];其中nm=k，n(i-1)=ni-lowbit

2014-08-10 08:44:30 646

原创【BFS】uva10047The Monocycle

/*本题的特殊之处，到达一个格子时，因为朝向不同，以及接触地面的颜色不同，会处于不同的状态；；；；；；；；；把(x, y, d, c)作为一个结点，表示所在位置(x, y)，方向为d,颜色为c;;;;;------------------------------------------------------------------------在方向上我们把前，左，右编号为0,1,2；；

2014-08-08 22:12:05 523

原创【概率DP】poj2096Collecting Bugs

/*水水的概率DP：定义数组dp(i, j)表示在j个子系统中有i种bug..要达到目标的期望；；；其中，dp[n][s]为0，因为已经是目标状态，，dp[0][0]为最终的结果；；----分析,dp[i][j]可以达到下面的4种状态：dp[i][j] 发现一个bug属于已经找到的i种bug和j个子系统中的期望dp[i+1][j] 发现一个bug属于新的一种bug，但属于已经

2014-08-08 20:34:16 481

原创【BFS】uva11624Fire!

/*bfs宽度遍历--------------------------------------------------------------------------对人和火同时进行bfs,,注意应该先火后人，即如果在人到达该格子前，格子已经着火则不应该走，最后人走到边界无路可走，则IMPOSSIBLE！！！！！！！！！！！！-------------------------------

2014-08-08 20:28:52 490

原创【线段树区间修改】fzu2105Digits Count

/*题意：给出数组A，有以下几个操作：1: AND(opn, L, R):把区间[L, R]中的元素A[i]改为A[i] & opn;;;;;;2: OR(opn, L, R) :把区间[L, R]中的元素A[i]改为A[i] | opn;;;;;;;3: XOR(opn, L, R):把区间[L, R]中的元素A[i]改为A[i] ^ opn;;;;;;;4: SUM(L, R)

2014-08-08 20:27:21 657

原创【线段树】hdu1166敌兵布阵

/*水水的线段树点修改:----------------------------------------------------------------void build(int l,int r,int o)建树{ int mid = (l + r) / 2; a[o].left = l; a[o].right = r; a[o].num = 0;

2014-08-08 20:26:49 471

原创【RMQ问题】uva11235Frequent values

/*RMQ问题-----------------------------------------------------------------------------------------------用数组:cnt[i]:第i段中数的个数（每一段是指所有数都同的一段数）（在这里该数组相当于RMQ问题中的A[]数组）num[i]:位置i所在段的编号left1[i]:位置i左端点的位置

2014-08-07 00:09:03 643

原创【网络流最大流】poj3281Dining

/*EK算法版本的，比较慢哦。。。。。详见下面dinic版本-----------------------------------------题目是网络流最大流的问题----------------------------------------建图：关键：拆点把每个牛拆成两个点，牛作为一个点有流量限制，即每一头牛只能的一份饭。把牛拆开后，将边的权值赋值为1，----------

2014-08-04 21:50:13 671

原创【网络流-二分图最大匹配】poj3041Asteroids

/*这道题将每行x看成是结点x,没列y看成是结点y,而障碍物的坐标xy看成是从x到y的一条边。建图后问题就变成了，找最少的点，使得这些点与所有的边相邻，即最小点覆盖，用匈牙利算法解决。-------------------------------定理：最小点覆盖数 = 最大匹配数，即求图的最大匹配即可，匈牙利算法-------------------------------模板讲解：

2014-08-04 19:40:13 743

原创【网络流】hdu 1569 方格取数(2)

/*和1565一样：总点数的权 - 最小覆盖点集 = 最大独立集--------------------------------------void add(int u, int v, int f)加边{ e[ct].u = u; e[ct].v = v; e[ct].f = f; next[ct] = first[u]; first[u] = c

2014-08-03 22:43:35 618

原创 uva 10746 Crime Wave - The Sequel（最小费用流）

题目：

2014-07-26 17:29:53 575

原创反思1

发大水发

2014-07-01 00:00:06 351

原创阿斯顿发沙发大三房

阿斯顿发沙发大三房大厦阿双方打算法阿双方打算

2014-06-30 23:59:08 442 1

原创 uva萨芬

发生的发生发顺丰阿三发大水发达

2014-06-30 23:58:09 389

原创 uva 10986

题目：a撒旦法阿飞阿斯顿发暗室逢灯暗室逢灯

2014-06-30 23:57:32 333

原创 uva

题目：阿斯顿发顺丰俺的沙发

2014-06-30 23:57:03 340

原创 uva 10099 The Tourist Guide(单源最短路/spfa/dijkstra)

题目：链接：

2014-06-30 23:51:07 493

原创 uva 10397 Connect the Campus(kruskal并查集)

题目：链接：点击打开链接题意：部分建筑已经被电缆连接，问还需要多长的电缆才能全部连起来。思路：初始时，把连接的建筑之间的dis[]设为0，然后Kruskal就好。代码：#include #include #include #include #include using namespace std;const

2014-06-30 19:22:05 386

原创 uva Risk(Floyd求最短路)

题目：链接：点击打开链接题意：前19行中的第i行，给出i与n个城市连通的，然后同一行是这n个城市的序号。最后给出两个点，求最短路。思路： Floyd求出每两个点之间的最短路。代码：#include #include #include #include using namespace std;#define INF

2014-06-30 19:21:48 361

原创 hdu 1532 Drainage Ditches(最大流)

题目：链接：点击打开链接题意：求最大流速。思路： Edmond_karp就行。代码：#include #include #include #include using namespace std;#define INF 100000000const int N = 220;int cap[N][N],flo

2014-06-30 19:21:38 437

原创 hdu 1535 Invitation Cards(有向图的来回最短路，要反向建图)

题目：链接：点击打开链接题意：给一个图，求1到各点和各点到1最短路。思路：先spfa,然后反向建图，在spfa就行了。代码：#include #include #include #include using namespace std;#define INF 100000000const int N = 10

2014-06-30 19:20:30 892

原创 hdu 1690 Bus System(最短路)

问题：链接：点击打开链接题意：思路：代码：#include #include #include using namespace std;#define INF 1000000000000typedef __int64 LL;const int N = 110;__int64 dis[N][N],place[N];__int64 L1,L2,L

2014-06-30 19:20:20 424

原创 hdu 1596 find the safest road(乘积最短路)

题目：链接：点击打开链接题意：思路：对dijkstra稍作修改即可，每次更新dis[]时改为乘积。代码：#include #include #include using namespace std;#define INF 100000000const int N = 1010;int n,m;double map[N][N]

2014-06-30 19:20:08 556

原创 hdu 1224 Free DIY Tour(dp)

题目：链接：点击打开链接题意：思路：代码：#include #include #include using namespace std;int map[110][110];int dp[110],next[110],ins[110];int t,n,m;void output(int x){ if(x == -1)

2014-06-30 19:19:38 460

原创 hdu 1869 六度分离(floyd最短路)

题目：链接：点击打开链接题意：思路： Floyd求最少联系人，然后判断是否大于7即可。代码：#include #include #include using namespace std;#define INF 100000000const int N = 110;int n,m;int map[N][N];bool flo

2014-06-30 18:00:19 374

原创 hdu 1599 find the mincost route(floyd求无向图的最小环)

题目：链接：点击打开链接题意：思路：代码：#include #include #include using namespace std;#define INF 100000000const int N = 110;int n,m;int map[N][N],dis[N][N];int result;void floyd(){ f

2014-06-30 18:00:07 350

原创 hdu 3339 In Action(最短路+01背包)

题目：链接点击打开链接题意：有N个发电站和M条路，给出每两条路之间的耗油量，then，N行代表发电站的能量。求最小耗油量，只有控制超过总能量的一半，才能成功，否则impossible。思路：求最少的耗油量，明显是最短路问题，然后，要求控制的电量要超过一半用01背包解决：V是总电量一半+1，dijkstra求得的dis[]是价值，每

2014-06-30 17:59:54 360

原创 hdu 2680 Choose the best route(最短路)

题目：链接：

2014-06-30 17:59:34 384

原创 hdu 1546 Idiomatic Phrases Game (最短路)

题目：链接：点击打开链接题意：思路：把字典转换为图后就好办了，dijkstra()。代码：#include #include #include using namespace std;#define INF 100000000int map[1005][1005];char dic[1005][1000];int w[1005

2014-06-30 17:58:57 322

原创 hdu 1317 XYZZY(bellman_ford判断环，有负权)

题目：链接：点击打开链接题意：出发点1能量值为100，到达一个新的房间会得到一个+或-能量值，能否到终点。思路：用bellman_ford判断是否有环，如果存在环且能量值是大于0的，那么winnnable。如果起点1孤立，必然hopeless。代码：#include #include #include using n

2014-06-30 17:58:43 382

原创 hdu 1217 Arbitrage（Floyd最短路算法+map应用）

题目：链接：点击打开链接题意：给出几种货币和各货币之间的兑换率,如果1钱货币通过多次兑换后大于1，就输出yes,不然输出no。思路： Floyd算法的公式简单变形+map的简单应用。代码：#include #include #include #include #include #include using nam

2014-06-30 17:58:16 370

原创 hdu 1874 畅通工程续(最短路)

题目：链接：点击打开链接题意：思路： dijkstra模板就好。。代码：#include #include #include using namespace std;#define INF 100000000const int N = 220;const int M = 1010;int n,m;int a,b,c;int

2014-06-30 17:56:38 321

原创 hdu 2544 最短路 (最短路)

题目：链接：点击打开链接题意：思路：

2014-06-30 17:56:31 333

原创 hdu 2066 一个人的旅行(最短路)

题目：链接：点击打开链接题意：思路：对每个起点调用dij算法后，每个终点的最短路长度都已经出来了。对于每个起点，从这些终点的最短路中选出最最短路就可以了。然后在比较每个终点，即求得最小值。代码：#include #include #include using namespace std;#define INF 1000000

2014-06-30 17:56:22 347

原创 hdu 3790 最短路径问题(最短路)

题目：链接：点击打开链接题意：思路： dijjkstra算法。单源最短路径，更新路径的同时要更新花费。代码：#include #include #include using namespace std;#define INF 10000000const int N = 1010;int n,m,a,b,d,c;int s,t;

2014-06-30 17:56:00 364

原创 hdu 1548 A strange lift(最短路或DFS)

题目：链接：点击打开链接题意：思路：这也是最短路径的问题，与以往的最短路径有所不同，开始时一看是让求步数，以为是搜索题，就用广搜做，也运行对了，但是提交不上，说的是使用内存超出限制，所以得用其他法，这题首先要做的是把在某一层向上向下能一步到达的层数用数组对应起来，然后就是dijkstra算法求最短路径了。代码：#include #inclu

2014-06-30 17:55:20 365

原创 hdu 2586 How far away ？(LCA：最近公共祖先)

题目：链接：点击打开链接题意：思路：代码：#include #include #include using namespace std;const int N = 40040;const int M = 220;struct node{ int from; int to; int n

2014-06-30 17:55:11 336

空空如也

空空如也