静态时序分析简明教程一：基础知识：建立保持时间，时序分析路径
一个数字芯片工程师的核心竞争力是什么？不同的工程师可能给出不同的答复，有些人可能提到硬件描述语言，有些人可能会提到对于特定算法和协议的理解，有些人或许会提到对于软硬件的结合划分，作者想说，这些说法，其实对也不对，硬件描述语言，翻来覆去无非是always和assign这几个语句的反复使用，而一些基础的协议算法，深究起来其实也并不复杂，于作者而言，在常规的技能以外，有两项额外的技能颇为重要，其中之一便为sdc/STA的分析能力，它的重要之处在于作为桥梁建立了前端和后端的连接，虽然对于DE工程师而言，初版交付的sdc往往不甚准确，也没有办法通过这份sdc生成一份无误的timing report，但sdc的内容体现却是完完整整的将时序约束从行为级的描述映射到了gate level这样一个真实的电路层次上面。
写此专栏，一为学习记录，二为交流分享，以犒粉丝读者。
静态时序分析简明教程(一)绪论
静态时序分析简明教程(二)基础知识：建立保持时间，违例修复，时序分析路径
静态时序分析简明教程(三)备战秋招，如何看懂一个陌生的timing report
静态时序分析简明教程(四)时钟常规约束
静态时序分析简明教程(五)时钟其他特性
静态时序分析简明教程(六)端口延迟
静态时序分析简明教程(七)完整端口约束
静态时序分析简明教程(八)虚假路径
静态时序分析简明教程(九)多周期路径
静态时序分析简明教程(十)组合电路路径
静态时序分析简明教程(十一)模式分析与约束管理
静态时序分析简明教程(十二)浅议tcl语言
建立时间是在时钟信号有效沿到达之前，输入信号需要保持稳定的时间,假如不满足建立时间的要求，就可能产生亚稳态，这种现象被称作建立时间违例
在考虑建立时间违例的极限情况，我们需要保证数据到达的时间，至少比时钟边沿到达的时间，早一个setup time，而前一个寄存器的采样，又比后一个寄存器的采样，早一个周期，因此我们可以列出式子如下
tclk-q + tlogic+tsetup<=tskew+T
其中tclk-q是数据从前一个寄存器的clk到q的时间，tlogic是寄存器间的组合逻辑，tskew是前后寄存器时钟边沿到达的时间差，T是时钟周期,移项
tsetup <= tskew + T - tlogic - tclk-q
因此，解决建立时钟违例的方法，就是使等式的右边尽可能的大一些。
方法在于，比如增加tskew，clock通路上插入buffer，减少寄存器之间的组合逻辑，降低时钟频率以增加T，更换DFF器件以降低tclk-q等。
建立时间的检查可以确保移动最慢的数据也能及时到达并满足建立的标准，因此，它又被称为最大分析(max analysis)。由于建立检查考虑了最晚到达的数据，所以也被称为晚期分析(late analysis)
保持时间是在时钟信号有效沿到达之后，输入信号需要保持稳定的时间，假如不满足保持时间的要求，也有可能产生亚稳态，这种现象被称作保持时间违例
在考虑保持时间违例的极限情况，我们需要保证数据改变的时间比时钟沿到来的时间，至少晚一个holdtime。数据改变所需的时间，对于前一个寄存器而言，是指第二个时钟边沿到来时的数据移动的时间，对于第二个寄存器而言，也是指第二个时钟边沿到来的时间，因此我们可以列出式子如下：
tclk-q + tlogic>=tskew+thold
其中tclk-q是数据从前一个寄存器的clk到q的时间，tlogic是寄存器间的组合逻辑，tskew是前后寄存器时钟边沿到达的时间差，移项，为了解决违例，我们的目标是使右边的值尽可能大。
thold <= tclk-q+tlogic-tskew
我们可以增加tclk-q的值，换一些更慢的DFF，也可以增加tlogic的时间，这就是我们在本专栏绪论中所说的未必一定要减少组合逻辑delay的原因，当然，减少skew也可以解决holdtime violation的问题。
但是，修hold time violation比修setup time violation更简单，因为只需要在组合逻辑路径上插入buffer，我们就可以很迅速的解决hold time violation问题。
保持时间的检查可以确保即使是移动最快的数据也不应该干扰其他数据，同时期望数据保持稳定。因此，数据路径计算最小延迟，被称为最小分析（min analysis）由于保持检查考虑了最早到达的数据，所以也称其为早期分析（early analysis）
STA分析能够进行的基础，是任何的同步电路，时序路径都可以进行拆分，拆分成几类，统一进行建立时间、保持时间的检查，根据约束，来判断是否有违例发生。
每一条需要分析的路径，都有其自身起点和终点，因为我们在讨论建立时间保持时间的过程中，判断主要发生在：时钟沿到来的时间和数据到来的时间，因此不难区分出STA可能的起点和终点
起点：原始输入|寄存器时钟输入
终点：原始输出|寄存器数据输入
不管分析什么样的电路，STA的路径都可以根据上面的起点终点进行拆分，如下列表所示，这四条时序路径就是所有STA分析时需要检测的路径。
| Path | 输入 | 输出 |
|---|---|---|
| 1 | 原始输入 | 寄存器数据输入 |
| 2 | 寄存器时钟输入 | 寄存器数据输入 |
| 3 | 寄存器时钟输入 | 原始输出 |
| 4 | 原始输入 | 原始输出 |
裕度是指：满足电路最低建立时间、保持时间以外的额外的冗余量，因此：我们通常情况下希望，首先，电路是不能有违例的，其次，冗余量越大越好。
建立slack = 数据建立要求 - 最后一个到达的信号
保持slack = 最早到达的信号 - 数据稳定的要求
STA的核心就是对电路，尤其是寄存器进行建立时间和保持时间的分析，计算分析路径的裕度，因此我们在基础知识的介绍中，也是就此方面介绍有关setup time/hold time/violation repair/slack等内容，其实抛开STA/SDC外，这些知识在面试笔试中也是属于经常见到的常见考点，需要读者们重点掌握，而在基础知识外，下一节，我们会拿出真实的timing report，来看一看报告上面能读出什么有价值的信息。
我需要检查DateTime是否采用有效的ISO8601格式。喜欢:#iso8601?我检查了ruby是否有特定方法，但没有找到。目前我正在使用date.iso8601==date来检查这个。有什么好的方法吗？编辑解释我的环境，并改变问题的范围。因此，我的项目将使用jsapiFullCalendar，这就是我需要iso8601字符串格式的原因。我想知道更好或正确的方法是什么，以正确的格式将日期保存在数据库中，或者让ActiveRecord完成它们的工作并在我需要时间信息时对其进行操作。 最佳答案 我不太明白你的问题。我假设您想检查
这个问题在这里已经有了答案:Railsformattingdate(4个答案)关闭4年前。我想格式化Time.Now函数以显示YYYY-MM-DDHH:MM:SS而不是:“2018-03-0909:47:19+0000”该函数需要放在时间中.现在功能。require‘roo’require‘roo-xls’require‘byebug’file_name=ARGV.first||“Template.xlsx”excel_file=Roo::Spreadsheet.open(“./#{file_name}“,extension::xlsx)xml=Nokogiri::XML::Build
我正在尝试解析一个CSV文件并使用SQL命令自动为其创建一个表。CSV中的第一行给出了列标题。但我需要推断每个列的类型。Ruby中是否有任何函数可以找到每个字段中内容的类型。例如，CSV行:"12012","Test","1233.22","12:21:22","10/10/2009"应该产生像这样的类型['integer','string','float','time','date']谢谢! 最佳答案 require'time'defto_something(str)if(num=Integer(str)rescueFloat(s
如何使此根路径转到:“/dashboard”而不仅仅是http://example.com？root:to=>'dashboard#index',:constraints=>lambda{|req|!req.session[:user_id].blank?} 最佳答案 您可以通过以下方式实现:root:to=>redirect('/dashboard')match'/dashboard',:to=>"dashboard#index",:constraints=>lambda{|req|!req.session[:user_id].b
我正在尝试查询我的Rails数据库(Postgres)中的购买表，我想查询时间范围。例如，我想知道在所有日期的下午2点到3点之间进行了多少次购买。此表中有一个created_at列，但我不知道如何在不搜索特定日期的情况下完成此操作。我试过:Purchases.where("created_atBETWEEN?and?",Time.now-1.hour,Time.now)但这最终只会搜索今天与那些时间的日期。 最佳答案 您需要使用PostgreSQL'sdate_part/extractfunction从created_at中提取小时
我需要根据字符串路径的长度将字符串路径数组转换为符号、哈希和数组的数组给定以下数组:array=["info","services","about/company","about/history/part1","about/history/part2"]我想生成以下输出，对不同级别进行分组，根据级别的结构混合使用符号和对象。产生以下输出:[:info,:services,about:[:company,history:[:part1,:part2]]]#altsyntax[:info,:services,{:about=>[:company,{:history=>[:part1,:pa
因为我现在正在做一些时间测量，我想知道是否可以在不使用Benchmark类或命令行实用程序time的情况下测量用户时间或系统时间。使用Time类只显示挂钟时间，而不显示系统和用户时间，但是我正在寻找具有相同灵active的解决方案，例如time=TimeUtility.now#somecodeuser,system,real=TimeUtility.now-time原因是我有点不喜欢Benchmark，因为它不能只返回数字(编辑:我错了-它可以。请参阅下面的答案。)。当然，我可以解析输出，但感觉不对。*NIX系统的time实用程序也应该可以解决我的问题，但我想知道是否已经在Ruby中实
Organization和Image具有一对一的关系。Image有一个名为filename的列，它存储文件的路径。我在Assets管道中包含这样一个文件:app/assets/other/image.jpg。播种时如何包含此文件的路径？我已经在我的种子文件中尝试过:@organization=...@organization.image.create!(filename:File.open('app/assets/other/image.jpg'))#Ialsotried:#@organization.image.create!(filename:'app/assets/other/i
在Ruby中，以毫秒为单位获取自纪元(1970)以来的当前系统时间的正确方法是什么？我试过了Time.now.to_i，好像不是我想要的结果。我需要结果显示毫秒并且使用long类型，而不是float或double。 最佳答案 (Time.now.to_f*1000).to_iTime.now.to_f显示包含十进制数字的时间。要获得毫秒数，只需将时间乘以1000。 关于ruby-以毫秒为单位获取当前系统时间，我们在StackOverflow上找到一个类似的问题：
我想知道我应该如何着手这个项目。我需要每周向人们发送一次电子邮件。但是，这必须在每周的特定时间自动生成并发送。编码有多难？我需要知道是否有任何书籍可以提供帮助，或者你们中的任何人是否可以指导我。它必须使用rubyonrails进行编程。因此有一个网络服务和数据库集成。干杯 最佳答案 为什么这么复杂？您只需安排工作。您可以使用Delayed::Job例如。Delayed::Job让您可以使用run_at符号在特定时间安排作业，如下所示:Delayed::Job.enqueue(SendEmailJob.new(...),:run_
