首页 > 其他分享 >【数字IC】建立时间和保持时间检查里的负值

【数字IC】建立时间和保持时间检查里的负值

时间:2025-01-16 15:32:29浏览次数:3  
标签:触发器 负值 引脚 建立 保持 时间 IC

一个时序单元的同步引脚的建立时间约束和保持时间约束通常用二维表来描述,如下图所示。下图为触发器的非线性延迟模型(NLDM,Non-linear Delay Model),包含了数据引脚(D端)的建立时间和保持时间信息。
在这里插入图片描述
在这里插入图片描述
例子里的一些保持时间值是负值。这是可接受的,这通常发生在当数据路径从触发器的引脚到内部的锁存点(Latch Point)比对应的时钟路径长。所以,保持时间为负值意味着触发器的数据引脚可以先于时钟引脚变化,并且依然满足保持时间检查。
触发器的建立时间也可以是负值。这代表在触发器的引脚上,数据可以在时钟引脚后变化,且依然满足建立时间检查。
建立时间和保持时间可以都是负值吗?不行。为了让建立时间和保持时间检查一致,建立时间和保持时间的和必须为正。所以,如果建立时间(或者保持时间)检查包含负值,那相应的保持时间(或者建立时间)必须是足够大的正值,以保证建立时间加上保持时间的和是正值。如下图2中的例子,它有负保持时间。因为建立时间必须发生在保持时间之前,建立时间加上保持时间是正值。建立时间加保持时间的时间宽度就是信号必须保持稳定的区间。
在这里插入图片描述
对于触发器,在扫描数据输入(Scan Data Input)引脚有负的保持时间是很有帮助的。这给了时钟偏移(Clock Skew)一定的灵活性,在扫描模式(Scan Mode)下就不需要为了修复保持时间违例而插入大量的缓冲器(Buffer)(扫描模式是指在该模式下,触发器被串联在一起行程扫描链,一个触发器的输出通常被连接到下一个触发器的扫描数据输入引脚,这种连接发生是为了可测试性)。

标签:触发器,负值,引脚,建立,保持,时间,IC
From: https://blog.csdn.net/ShiC_980228/article/details/145183696

相关文章

  • pg数据库下 关于时间日期的取值
    --century世纪selectdate_part('century',now()::TIMESTAMP);--day天selectdate_part('day',now()::TIMESTAMP);--decade十年,即年份除以10selectdate_part('decade',now()::TIMESTAMP);--dow星期(星期天0,星期六6)selectdate_part('do......
  • elasticsearch之DSL查询结果处理
    搜索的结果可以按照用户指定的方式去处理或展示。排序分页搜索关键词高亮排序elasticsearch默认是根据相关度算分(_score)来排序,但是也支持自定义方式对搜索结果排序。可以排序字段类型有:keyword类型、数值类型、地理坐标类型、日期类型等。普通字段排序keyword、数值、日......
  • Caffeine 缓存 动态的为每个值设置过期时间
    引入jar<!--本地缓存caffeine--><dependency><groupId>org.springframework.boot</groupId><artifactId>spring-boot-starter-cache</artifactId></dependency><dependency&......
  • 推荐3款officewps办公室神级软件 让你的办公效率飞起来
    聊一聊在日常工作中难免会遇到对文档、表格有各式各样的要求只有你想不到的没有领导提不出的对于这些复杂想破脑子都无从下手的事怎么办呢?这时候就需要借助各种办公工具来辅助实现了今天就为大家推荐3款提升日常办公效率的办公室神级软件软件介绍1.方方格子软件要求:......
  • Cyber Security 101-Offensive Security-SQLMap: The Basics(sqlmap基础)
    了解SQL注入并通过SQLMap工具利用此漏洞。任务1:介绍SQL 注入是一个普遍存在的漏洞,长期以来一直是热门网络安全主题。要了解这个漏洞,我们必须首先了解什么是数据库以及网站如何与数据库交互。数据库是可以存储、修改和检索。它将来自多个应用程序的数据存储在结构化......
  • Qml 中实现时间轴组件
    【写在前面】时间轴组件是现代用户界面中常见的元素,用于按时间顺序展示事件。本文将介绍如何使用Qml实现一个灵活且可定制的时间轴组件,并探讨其设计思路和实现细节。【正文开始】效果图组件概述我们实现的时间轴组件具有以下特点:支持自定义节点样式:可以设置节点的图......
  • 【0388】Postgres内核 SQL function 删除 physical replication slot 底层实现( 4 )
    文章目录1.概述2.`SQLfunction`2.1待删除`physicalreplicationslot`2.2检查当前用户权限2.3检查`Postgres`服务配置3.删除`physicalreplicationslot`3.1获取先前创建的`slot`3.1.1获取`slot`3.1.1初始化`active_pid`3.2永久删......
  • elasticsearch的DSL查询文档
    1、DSL查询文档Elasticsearch提供了基于JSON的DSL(DomainSpecificLanguage)来定义查询。常见的查询类型包括:查询所有:查询出所有数据,一般测试用。例如:match_all全文检索(fulltext)查询:利用分词器对用户输入内容分词,然后去倒排索引库中匹配。例如:match_query:单字段查询mult......
  • 洛谷题单指南-线段树的进阶用法-P2617 Dynamic Rankings
    原题链接:https://www.luogu.com.cn/problem/P2617题意解读:动态求区间第k小问题。解题思路:树套树的典型应用,具体阐述参考:https://www.cnblogs.com/jcwy/p/18640914100分代码:#include<bits/stdc++.h>usingnamespacestd;constintN=100005;structOp{charop;......
  • 【Java开发】实现 License 认证(只校验有效期)
    一、License介绍License也就是版权许可证书,一般用于收费软件给付费用户提供的访问许可证明1.1应用场景应用部署在客户的内网环境这种情况开发者无法控制客户的网络环境,也不能保证应用所在服务器可以访问外网因此通常的做法是使用服务器许可文件,在应用启动的时候加载证书然......