网安-web与HTTP基础

最新推荐文章于 2024-10-25 21:23:34 发布
原创 最新推荐文章于 2024-10-25 21:23:34 发布
· 220 阅读 · 0 ·
版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

web

万维网：http://baike.baidu.com/item/www/109924?fromtitle=%E4%B8%87%E7%BB%B4%E7%BD%91&fromid=215515&type=syn&sefr=enterbtn

网页：http://baike.baidu.com/item/%E7%BD%91%E9%A1%B5

浏览器的发展史：http://article.yeeyan.org/view/39879/240445

浏览器的渲染过程：http://coolshell.cn/articles/9666.html

浏览器的安全机制：http://www.freebuf.com/articles/network/112956.html
在这里插入图片描述

Web通信基础

在这里插入图片描述

URL

在这里插入图片描述

HTTP协议

在这里插入图片描述、在这里插入图片描述在这里插入图片描述在这里插入图片描述在这里插入图片描述在这里插入图片描述
在这里插入图片描述在这里插入图片描述在这里插入图片描述在这里插入图片描述在这里插入图片描述

VC_Spyglass_verdi_UserGuide T-2022.06 中文翻译
q774318039a的博客
07-18 2307
点击Verification下的CDC, CDC/RDC, Lint，在data view视图中会显示检查的概要情况。这个界面下可以选择和两种视图。如果是CRC/RDC检查的消息摘要，还有多个导出按钮。
VC Spyglass CDC User Guide 2022
11-09
VC Spyglass CDC用户指南2022提供了关于时钟域交叉（CDC）分析的详细指导，它是Synopsys公司出品的软件产品。该用户指南是2022年6月发布的SP2版本，详细说明了如何使用VC Spyglass工具来检测和解决设计中的CDC问题，...
spyglass的使用问题总结及一些option选项-工具（九）
热门推荐
Paul 安的博客
04-03 2万+
总结spyglass使用过程中出现的问题，总结使用步骤供参考，实践出真知，解决问题就是好方法。
VC Spyglass CDC
weixin_46076353的博客
09-27 1568
支持自动推断clock/reset，不一定准确，需要double check。 create_generated_clock用于生成时钟。 CDC check分为四大类，Integrity Synchronization Convergence Glitch create_reset时虽然指明了clock，也需要set_input_delay明确指明reset属于哪个clock domain 对于clock mux的约束，可以采用mulit mode的形式，通过set_case_analysis区别。
VC Spyglass CDC(一）CDC与亚稳态、亚稳态电路的分类
Holden_Liu的博客
10-05 7052
CDC与亚稳态 Clock Domain Crossing (CDC): 跨时钟域设计中，信号adat从aclk domain传播到bclk domain；aclk与bclk之间的频率，相位没有固定关系，为asynchronous异步关系的时钟。 Metastability: 当adat在bclk采样点附近变化时，不满足后级flip-flop的setup/hold time，D端无法完成正确的锁存，Q端的输出在较长一段时间内处于不确定的振荡值，出现亚稳态的现象。 亚稳态传播给后级组合逻辑时，其不确定的X态会
VC Spyglass：你一定要懂的CDC错误
hzmscut的博客
06-04 586
【转载】
VC Spyglass CDC跨时钟错误
hzmscut的博客
06-20 967
图5-1 所示为亚稳态的案例，F1是clk_A时钟域的寄存器，F2是clk_B时钟域的寄存器，clk_A和clk_B是异步时钟，寄存器F1的输出信号A发生跳变的时刻有可能与clk_B的上升沿发生重叠，此时对寄存器F2来说，在setup-hold time时间区间内，输入A没有保持稳定，因此寄存器F2输出的B是不确定状态，这就是亚稳态。例如下图7-29和7-28中，x和y的组合（x，y）在同步前只有（1,1）和（0,0）的组合，在同步后出现了（1,0）的组合，还有可能出现（0，1）组合。后期我们会持续更新。
SpyGlass-CDC-Training-03.pdf
06-07
SpyGlass-CDC工具正是针对这些问题提供的一种解决方案，它能进行详细的时钟与复位完整性检查，确保跨时钟域的数据传输正确无误。 时钟完整性检查主要包括以下几个方面： 1. **时钟树检查**：检查时钟树的结构，...
SpyGlass_LintRules_Reference.pdf
09-02
SpyGlass® LintRules Reference Guide 是一份详细的指南，主要针对Synopsys公司的静态分析工具SpyGlass LintRule的使用和理解。SpyGlass LintRule是Synopsys Verification Continuum平台的一部分，该平台专注于集成...
SpyGlass_ClockResetRules_Reference.docx
08-04
本文档主要介绍了Synopsys SpyGlass工具中的时钟与复位规则（Clock and Reset, CDC），旨在帮助用户理解并掌握如何利用这些规则进行有效的时钟域交叉(CDC)分析。SpyGlass是一款强大的静态时序分析(Static Timing ...
spyglass 基础操作与常见错误lint.doc
03-23
spyglass 基础操作与常见错误lint.doc
VC Spyglass CDC(三） 与Spyglass CDC的区别
Holden_Liu的博客
11-03 1万+
VC Spyglass CDC Synopsys Verification Continuum的静态验证平台VC static platform包含了VC LP，VC formal，VC Spyglass三种静态检查工具。Spyglass原是Atrenta旗下的静态检查工具，占据CDC/RDC sign-off工具的大部分市场份额。后来Synopsys收购了Atrenta，整合Spyglass推出了VC Spyglass。VC Spyglass作为Synopsys推出的期望继承Spyglass的新一代产品，
VC SPYGLASS——RDC Verification
weixin_45260499的博客
12-18 2853
所有复位信号都是从异步复位同步释放电路处理过的，复位释放导致的亚稳态不存在， 主要是reset assertion时刻带来的亚稳态。每个模块的复位信号不一样，信号在跨异步复位域传输就会出现亚稳态的问题。2. 没有声明的soft reset(由reset控制，由dff q输出，经过组合逻辑，输入给其他dff作为reset),建议soft reset 显示定义出来。默认情况下，D-Q的reset传递是disable的，要设置才可以接收到原来的rst的，不设的话是没有reset传递的。
使用VC SpyGlass Lint对RTL代码进行预综合
qq_36480087的博客
04-14 5294
预综合过程主要由VC SpyGlass Lint中集成的VC Static Platform完成。 准备文件： 待综合的.v文件（top.v） 步骤： 设置环境变量$VC_STATIC_HOME 如下 setenv VC_STATIC_HOME <installation_directory> set path = ($VC_STATIC_HOME/bin $path) 以命令行方式启动软件 % $VC_STATIC_HOME/bin/vc_static_shell 在命令行窗口中
spyglass关于cdc检测的一处bug
weixin_47349046的博客
10-25 718
构造如下电路，当qualifier和destination信号汇聚时，如果des信号完全将qualifier gate住，sg仍然会报ac_sync。上面电路，sig0 = q02 || des ||!sg却报了同步，个人认为时不合理的，是一处隐患。最近在使用22版spyglass的cdc检测功能，发现struct_check的cdc检测实际时存在一些bug的。其中q02为同步后的qualifier，des为desnation时钟域信号，src为源时钟域clk0的信号。
vc_static spyglass lint cdc rdc check summary
gsp12356的博客
12-09 1278
首先不管是lint cdc rdc report,都分成两大部分，一部分report是setup阶段，另一部分report是相应的规则检查。只有setup阶段的error/warning都清理干净，第二部分的报告才有价值。
VC Spyglass 对比 Spyglass 描述抽象模型 abstract port
Holden_Liu的博客
10-29 7789
CDC check中，在使用blackbox或者abstarct model时需要做抽象模型处理。 VC Spyglass使用一系列attribute命令，可读性更好。 Spyglass使用abstract_port和assume_path。 Description Note: This document is not writing a SAM (Static Abstract Model). A SAM is an auto-generated, reduced representation of th
spyglass打不开
最新发布
01-17
### 解决Spyglass无法打开的问题 当遇到Spyglass无法正常启动的情况时，可以尝试以下几个方法来解决问题。 对于`feature could not be checked out`错误，解决方案涉及更新授权文件。具体操作是在命令行环境中使用最新的`Synopsys.dat`文件替换原有虚拟机中的同名文件[^1]： ```bash cp /path/to/new/Synopsys.dat /original/path/ ``` 之后再次尝试通过命令行启动Spyglass: ```bash spyglass ``` 如果收到 `[Error] Another session is already running or previous run had some issues` 的提示，则表明当前工作目录下存在正在运行的vc_spyglass实例或者是上次执行过程中出现了未处理的问题。此时应该先终止任何已存在的Spyglass进程，或者切换到其他路径重新开始会话[^2]: ```bash ps aux | grep spyglass # 查找并结束所有相关进程 kill -9 PID # 使用找到的PID号杀死特定进程 cd /new/directory # 或者简单地改变当前的工作目录 spyglass # 尝试重启工具 ``` 另外，在某些场景下，移除批处理模式参数也可以帮助排除因自动化脚本引起的异常情况。例如修改启动指令如下所示[^4]: ```bash spyglass –project training.prj –goals cdc/cdc_setup & ``` 尽管Lint检查并非总是必要的，但在开发流程中保持良好的实践习惯有助于提前发现潜在风险，减少后期维护成本。因此建议尽可能修复所有的警告信息而不是依赖于偶然性的成功编译结果[^3]。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值