面对痛哭流涕的朋友，如果你没有给到建议，要不然就是觉得不够关心朋友，要不然就是觉得自己很无能，两样总得安上一样，其实没必要。
要做好咨询师的角色，你先得把这个心理包袱给甩了。
你对他的帮助有可能是润物细无声的，也有可能是身体力行的，有可能是一个微笑，或者通过展现出你自己是一个什么样的人，你是如何解决问题的，就可以了。
心理咨询完全没有一个进度条，所以你千万不能着急。
当你的朋友遭遇了某些问题，也许你正好读了一本关于情感关系的书，当你用你的理论和视角去分析他的问题时，你觉得他正处在一个错误或混乱的见地中，你发自内心的慈悲，特别想把他的错误纠正过来，千万不要这样！
——因为你越努力就有可能把事情办得越糟糕！

你和他的视角可能是非常不一样的，所以有可能这辈子你都无法在这件事情上说服他。
咨询师的工作不是说服的工作.
你有可能一辈子都帮不了他，但也有可能在一个礼拜之后，你用一支冰淇淋解决了他的问题.

以理服人：｜以气势压倒对方，喜欢说教.。
但学佛以后，当我开始发菩提心，想要从究竟上利益一切众生的时候，某些方式只能起到15%的作用，另外85%的作用是神奇地发生的，
也许是因为我的微笑，也许是因为我请他吃冰淇淋。
有时候只是告诉他一个现象——「我们大家都是这样的」，如果他容易生气，告诉他「我们大家都很容易生气」；如果他爱得死去活来，告诉他「我们大家在情感关系中都是盲目的」。
不用太着急，不用对自己有什么期待，不要对朋友有什么期待。我们更需要做的是给对方减负。
——
「漏尽」：断尽烦恼，究竟离苦得乐.
——
合适的方法用在合适的人身上。
Eg.当你是一个心态平和的人，通过打坐收获了很多，也不要轻易把这个东西教给别人！
චᆽච 只说明它在你身上有效，
而且它是因缘和合的，所以可能暂时在你身上有效，随时都可能没有效！
——
「点到为止」：｜不做自赞毁他的事，只作为一个professional 解释自己学到的东西，请病人或病人家属自己去做选择。
只需播种！只要它是一个种子，就不担心它不会发芽。如果我期待发芽过多，我就会变成我自己期待的受害者。
只种心锚⚓，其他什么都不管，但是我对我的种子很有信心，它是那种金刚种子，永远都不会变坏.
只要我能够影响到他一点点，就满意了，然后接下来就要靠他自己了。

看到了这么一段话，道理我懂，就好比考试卷子做一道题，没有人会先关心你解题的思路和过程是如何，他们第一眼还是回去看你的结果，如果结果是错误的，那么不会有人去好奇关心一个导致错误产生的过程，但是如果我们没有所谓的功利心，我们前行的动力是什么，人这一生，越早点找到生命的价值，就越幸福。
但是又有谁找到了，找到的又是否是真的，又有谁在真正幸福。人活一世不能只考虑自己的及时行乐，这是不负责任的，人都是从一无所有到一无所有的，普通的我们是输不起的。#生命的价值#

这是今天做的比较有趣的事。实现set-associative (SA) cache的时候需要用到一个priority address decoder，基本意思是你要找到一个二进制码码中的MSB/LSB的数位，它会用在你检查在一个set内究竟是哪条cache-line命中，以及在allocation过程中找到尚未被占用的cache-line。

如果使用比较典型的2-way/4-way SA，那么这个decoder写出来就是一个case语句，你只需要把one-hot编码或pattern对应到数字就可以了。但如果你想实现的是一个parameterized module，那么case就不好使了。非常遗憾，在V/SV中你没办法通过generate来形成case中的分支，但是你可以在一个block中写一个for-loop。

可被综合的for-loop会有较严格的限制，首先出现在for-loop中的所有条件均需要为常量，其次在for-loop内如果有变量被作为条件，那么变量也不能被修改，否则会形成失控的logic loop。看了下gate-level的结果，满足条件的for-loop会被综合成一个mux tree。这样就可以实现一个parameterized priority address decoder了。

FOSS版Yosys中对SV支持较为有限，你不能在for-loop中插入break，或者是一个用来停止循环的变量，所以你不得不遍历整个二进制码的所有位，如果从低位开始循环，就会得到MSB，vice versa。

由于我们关心的是MSB/LSB，因此低于MSB/高于LSB的位是0还是1就无所谓了，而我们判断MSB/LSB的依据是，高于MSB的位全是0，低于LSB的位全是0。这便是一个重要的用来验证这个decoder是否正确的formal property。

证明一个器件是正确的，和通过一系列测试而没有发现错误，是两件不同的事。没有发现错误不是证明正确性的方法。而通过简洁的方式证明正确性，比起写一个冗长复杂的testbench，则是个有趣且有用的脑力游戏。