摘要：
题意 给两个编辑序列，描述删除一个位置上的字符，在某个位置之前插入一个字符，问这两个编辑序列是否对于任意足够长的文本都等价 做法 转化成另一种描述方式，即原串某位置上的字符被删除了，以及在编辑后的串中某位置上的字符是插入的，然后比较这种描述是否相同即可。 阅读全文
摘要：
We normally have to reset flip-flops, thus every time the clock makes the transition from 0 to 1 (posedge), we check if reset is asserted (synchronous 阅读全文