lec6-需求基础

最新推荐文章于 2026-06-22 21:38:47 发布
原创 最新推荐文章于 2026-06-22 21:38:47 发布 · 952 阅读 · 12 ·
本内容遵循CC 4.0 BY-SA版权协议
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
GEO检测
标签
#软件工程 #软件需求 #考研

lec6-需求基础

需求工程

需求工程的过程模型:

  • 需求工程
    • 需求开发
      • 需求获取 ->
      • 需求分析 ->
      • 需求规格说明 ->
      • 需求验证
    • 需求管理

需求获取:

  • 从人, 文档, 或者环境中获取需求的过程
  • 方法和技术:
    • 面谈, 问卷, 文档分析, 头脑风暴, 专题讨论, 原型, 民族志, 竞品分析
    • 在这里插入图片描述

需求分析:

  • 整体概念:
    • 通过建模来整合各种信息
    • 为问题定义出一个需求集合, 集合可以界定一个有效的解决方案
    • 检查需求当中存在的错误, 不一致等缺陷并且修正
  • 过程:
    • 边界分析
      • 系统边界的定义保证系统能够和
      • 系统用例图通常被用来定义系统的边界
    • 需求建模
      • 建模是为了展现和解释信息的描述活动
      • 常用的技术包括类图, 顺序图, 状态图等建模技术

需求规格说明:

  • 目标:
    • 在系统用户之间交流需求信息
    • 要简洁, 准确, 一致, 容易理解
  • 需求工程师需要定制文档模板 + 编写文档

需求验证:

  • 要求规格说明文档需要:
    • 文档内每条需求豆正确, 准确反映了用户的意图
    • 文档记录的需求集在整体上由 完整性和一致性
    • 文档的组织方式和需求的书写具有 可读性和可修改性
  • 验证方法:
    • 同级评审 + 原型 + 模拟

需求管理:

  • 保证需求作用的持续, 稳定 有效发挥
    • 因为之后的设计, 测试, 实现等软件系统开发活动都需要围绕需求开展工作
  • 进行变更控制(与时俱进)
    • 纳入和实现合理的变更请求, 拒绝不合理的变更请求

需求基础

什么是需求(名词解释)

  • IEEE需求定义:

    • 用户为了解决问题或达到某些目标所需要的条件或能力
    • 系统或系统部件为了满足合同, 标准, 规范或其他正式文档所规定的要求而需要具备的条件或能力
    • 对 1 或 2 中的一个条件或一种能力的文档化表述

  • 需求的表述

    • 需求是一种期望,可以表述为“系统应该在”, “在xxx时候, 系统应该xxx”
    • R1: 系统应该允许顾客退回已经购买的产品

  • 需求 - 问题域 - 规格说明

    • 需求
      • 是一种期望
      • 源于现实又高于现实
      • 需求是多变的和可以调整的
    • 问题域
      • 需求的产生地和解决地
      • 现实世界运行规律的一种反映
    • 规格说明
      • 软件产品的方案描述, 以软件产品的运行机制为主要内容
      • 不是需求但是实现需求, 不是问题域但是需要与问题域互动
    • 在这里插入图片描述

需求的层次

从高到低: 业务需求 -> 用户需求 - >系统需求

业务需求:

  • 系统建立的战略出发点, 高层次的目标,描述了组织为什么要开发系统
  • eg:
    • R2: 在系统使用3个月后, 销售额应该提高 20%

用户需求:

  • 执行实际工作的用户对系统能够完成的具体任务的期望, 系统能帮助用户做什么
    • 直接用户 + 简介用户(软件销售人员和售后支持人员)
  • eg:
    • 系统要帮助收银员完成销售处理

系统需求:

  • 用户对系统行为的期望,每个系统级需求反映了一次外界与系统的交互行为, 描述了开发人员需要实现什么
  • 将⽤户需求转化为系统需求的过程是⼀个复杂的过程
  • 在这里插入图片描述

需求分类

在这里插入图片描述

  • IEEE需求分类:

    • 功能需求(唯一的功能性需求) - 性能需求 - 质量需求 - 对外接口 - 约束

    • 功能需求:

      • 最重要的需求, 能够带来业务价值, 最需要按照三个抽象层次展开

    • 性能需求:

      • 需要进行专门的模拟和测试
      • 比如 速度, 容量, 吞吐量等等
      • PR6: 98% 的查询时间不能超过10s

    • 质量需求:

      • 对越复杂的系统越是重要

      • 可靠性, 可用性, 安全性, 可维护性, 可移植性, 易用性

        在这里插入图片描述

    • 对外接口:
      解系统与其它系统之间的软硬件接口

    • 约束:
      总体上限制了开发人员设计和构建系统时的选择范围

      • 系统开发以及运行的环境
      • 问题域的相关标准, 法律法规等
      • 商业规则

重点:

在这里插入图片描述

LEC/FORMAL --- PARTIII debug
sinat_27691203的博客
08-17 7512
lec（logic equivalence checking）又叫formal check，是对ic design的综合，PR前后的设计进行逻辑对比检查的工具/手段，保证综合不改变rtl原始的logic function。目前用的较多的就是C家的formal工具。接下来介绍一下lec过程中遇到的问题以及debug手段。...
Conformal LEC逻辑等价性检查介绍和参考脚本
weixin_44606964的博客
07-01 867
分为三个产品：Conformal L、Conformal XL、Conformal GXL。L是功能性检查，XL支持复杂数据通路的综合和APR优化，GXL支持定制的stdcell和定制memory的检查。Cadence Conformal Equivalence Checker，就是常说的LEC，可以用来验证RTL、门级网表、甚至spice网表的逻辑等价性。在setup模式下，读入库、golden设计、有修改的设计，并指定一些option。对于简单的设计，通过GUI来做LEC也是可以的。
LEC 检查
hepiaopiao_wemedia的博客
03-24 1万+
lec：等效逻辑检查logic equality check，用于检查网表在综合前后或布线前后的逻辑等价性。 S家执行LEC的工具为synopsys formality；C家执行LEC的工具为cadence conformal。 http://news.eeworld.com.cn/mp/Icbank/a61555.jspx ...
一文看懂LEC在IC设计中的重要性
u012869465的博客
03-09 5447
VLSI的设计周期分为两个阶段：前端和后端。前端涵盖架构规范、编码和验证，而后端涉及目标制程技术节点上设计的物理实现。 本文主要介绍LEC（逻辑等效检查）在ASIC设计周期中的重要性，如何检查它以及当LEC失败时该怎么做。我们将探索一个测试用例，看看如果LEC失败会发生什么，如何查明问题以及采取哪些措施来解决问题。 LEC的重要性 ASIC在流片之前，要经历一系列设计步骤，如综合、布局布线、签核（sign-offs）、ECO（工程变更单）以及众多优化过程。在每个阶段，我们都需要确保逻辑功能完好
Conformal LEC：官方学习教程
博客是兴趣使然，大家互相学习
06-28 4343
本文是对Conformal Equivalence Checking User Guide中附录实验的翻译（有删改），实验文件可见安装目录Conformal/share/cfm/lec/demo/doc_testcase，该目录下还提供了其他案例。
LEC对ASIC的重要性
charlotte5的博客
03-12 1563
ASIC芯片是用于供专门应用的集成电路（ASIC，Application SpecificIntegrated Circuit）芯片技术，在集成电路界被认为是一种为专门目的而设计的集成电路。ASIC芯片技术发展迅速，目前ASIC芯片间的转发性能通常可达到1Gbs甚至更高，于是给交换矩阵提供了极好的物质基础。ASIC的特点是面向特定用户的需求，ASIC在批量生产时与通用集成电路相比具有体积更小、功耗...
LEC/FORMAL --- PARTII 流程介绍
sinat_27691203的博客
08-16 6679
lec（logic equivalence checking）又叫formal check，是对ic design的综合，PR前后的设计进行逻辑对比检查的工具/手段，保证综合不改变rtl原始的logic function。目前用的较多的就是C家的formal工具。接下来介绍一下lec的流程，关于原理介绍，见上一个章节。......
LEC ECO flow
zhouzhiping849的博客
09-05 507
另外，如果是post lec eco，新ECO出来的DFF LEC工具会自动随意加一个clock到CK pin，需要人工手动check clock tree balance，然后手动做一些修改，来尽量保证对原时序不要有影响。在netlist阶段，如果发现design有地方错了，或者说需要新增功能，那就需要做ECO，如果说logic比较复杂的话，ECO就会很难了，如下是用LEC工具辅助实现ECO的方式。6. 执行script： % lec -eco -do *.do -nogui -xl。
【COMP282 LEC6 LEC7 LEC8】
WINNER0215的博客
08-22 154
添加一个键值对，键名是“two”，值为2。让一个键名为“one”的值为1。functor 功能原件。
conformal和LEC的关系
weixin_61092302的博客
09-13 2742
它的主要用途之一是执行逻辑等效性检查，以确保设计的两个版本（通常是原始RTL设计和综合后的网表）在逻辑上是等效的。LEC 是 Conformal 的一个主要应用领域，用于验证两个电子设计（通常是RTL设计和综合后的网表）在逻辑上是否等效。所以，Conformal 是 Cadence 公司的形式验证工具，LEC 是 Conformal 中的一个应用领域，主要用于逻辑等效性检查。通过使用 LEC，工程师可以确保设计的两个版本在逻辑上是等效的，从而提高设计的可靠性和正确性。
LEC(logic equivalence check )-----初始
GANHUIJUN的博客
06-12 3410
 很多时候，我们ICer只是使用LEC tool来进行等价性check，而对于其中的原理了解得比较少，大家看到EQ就万事大吉了，最近打算深入的讲一讲LEC check的原理，以及如何debug 
lec(logic equivalence check)--cadence 等价性检查工具理解
热门推荐
学而不思则罔，思而不学则殆
10-10 3万+
lec是独立的不基于任何指定的综合工具 key point mapping ummapped points有三类 formal functional comparison algorithms 两种comparison方式 setup mode 和 lec mode blackbox set report unreachable key points 设置选项尽量避免unreachable报告因为很
做功能ECO之前为什么要先检查LEC？
NanDigits的博客
05-09 887
当修改RTL后，或者重新综合得到新综合网表后，我们可以用LEC工具来确认工具报出来的不等价的点是不是就是我们刚修改过的地方。这一点非常重要。
LEC/FORMAL --- PARTI 原理介绍
sinat_27691203的博客
08-16 7354
lec（logic equivalence checking）又叫formal check，是对ic design的综合，PR前后的设计进行逻辑对比检查的工具/手段，保证综合不改变rtl原始的logic function。目前用的较多的就是C家的formal工具。接下来介绍一下lec的原理和流程 ......
Cadence Encounter Conformal LEC 学习手册
gitblog_06712的博客
05-09 484
#Cadence Encounter Conformal LEC 学习手册 去发现同类优质开源项目:https://gitcode.com/ 本仓库提供了一份Cadence Encounter Conformal（LEC）学习手册，标题为《从基础到高级_kupdf.pdf》。这是一份适用于电子设计工程师的学习资料，涵盖了LEC（Logic Equivalence Check）的基础知识及高级应用。...
人工智能安全的新方法：层增强分类（LEC）
llm_way的博客
01-02 1130
LEC方法作为一种新型的AI安全方法，具有高效性、准确性和灵活性等优势，已经在内容安全、提示注入检测等多个应用场景中取得了显著的成果。
从原理到实战：深入解析LEC逻辑等价性检查
weixin_33743661的博客
04-17 401
本文深入解析LEC（逻辑等价性检查）在数字芯片设计中的应用，从原理到实战全面介绍其关键技术和工具链选择。通过实际案例和详细命令示例，帮助工程师掌握逻辑等价性验证的核心方法，确保设计在不同阶段的功能一致性，避免潜在的设计错误。
Conformal LEC实战：从入门到精通的逻辑等价性验证指南
weixin_29208077的博客
02-15 389
本文是一份全面的Conformal LEC实战指南，详细介绍了如何从零开始使用该工具进行逻辑等价性验证。内容涵盖环境搭建、库文件与设计文件读取、关键点映射、比较验证、不等价问题诊断与调试等核心操作步骤，并提供了高级脚本化技巧、常见问题解决方案以及融入设计流程的最佳实践，帮助数字芯片设计工程师确保RTL代码与综合后网表的功能一致性。
一种新的 AI 安全方法：层增强分类（LEC）
龙哥盟
10-28 831
原文：towardsdatascience.com/a-new-approach-to-ai-safety-layer-enhanced-classification-lec-56141aa0f6be?·发表于·8 分钟阅读·2024 年 12 月 20 日想象一下，你正坐在会议室里，讨论着我们这个时代最具变革性的技术——人工智能，并意识到我们正乘坐一艘没有可靠安全带的火箭。
昆明理工大学085405软件工程专硕历年录取分数趋势报告
最新发布
taw19960426的博客
06-22 196
2023年那会儿是真的卷，国家线才263，结果进复试的人平均分高达343！24年国家线莫名其妙涨了15分，反而进复试的门槛降到了278，那一年上岸的人是不是觉得自己运气爆棚？所以，想考昆工软工的宝子们，千万别被那个低低的B区国家线给骗了。想要稳稳上岸，你的目标分数起码得定在300分左右，这才是有安全感的打法。但最绝的是25年和26年，国家线虽然降回了250左右，看着很温柔对吧？但进复试的平均分却一点没降，稳稳站在289、298的位置。讲真，考研最怕的不是题目难，而是这分数线忽高忽低，心脏不好的真受不了。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值