帝都。自3月7日抵京，已近两月，北京的天气并没有想象中那么恶劣。不冷。或许是已近初春的缘故吧。到了现在，已是春暖花开的时候，园区门口那一排不知是什么名的树突然开了花！ 但，不论晴空万里或乌云密布，不论细雨绵绵或狂风呼号，不论漫天的柳絮飞舞都与我们无关。一日又一日，一夜复一夜，我们都在拼命的学习。5个月的时间真的不长，转眼间2个月已经快过去。 初来兄弟连时，我是非常忧虑的，终日惴惴不安。此次是做着釜

#今日论文推荐#谷歌再次发布文字生成图像模型，新系统Parti根据文本输出各种风格、更高质量图像 近日，谷歌介绍了一种自回归文本到图像生成模型 Parti（Pathways Autoregressive Text-to-Image model），可实现高保真照片级图像输出，并支持涉及复杂构图和丰富知识内容的合成。 比如，用文字描述“一只浣熊穿着正装，拿着拐杖和垃圾袋”和“老虎戴着火车售票员的帽子

LEC：lec（logic equivalence checking）又叫formal check，是对ic design的综合，PR前后的设计进行逻辑对比检查的工具/手段，保证综合不改变rtl原始的logic function。目前用的较多的就是C家的formal工具。接下来介绍一下lec的原理和流程 1. Lec 原理介绍： 之所以搞这个lec，是因为在rtl实现的过程中，会进行各种的