g70378

IEEE Standard for Floating Point Arithmetic IEEE754R.pdf

This standard specifies interchange and arithmetic formats and methods for binary and decimal floating-point arithmetic in computer programming enviro

第3章C++面向对象程序设计.ppt

自己经常参考的一份PPT,作者已经不可考证了,但是非常详细,对自己当初入门起到了非常重要的作用。

Ittage.pdf

一份Ittage预测器的文章,详细介绍了ittage的原理和实现方法。 The ITTAGE, Indirect Target TAgged GEometric length predictor, was introduced in [5] at the same time as the TAGE

V3_SVTB_Interactive_Debug.pdf

This book is an user guide of Verdi SVTB Interactive Simulation Debug and provides detailed description of every view and usage of Verdi SVTB Interact

03_UVM Harness.pdf

uvm harness 是uvm支持的一直便捷接口连接，可以实现快速的接口对接移植修改，方便维护省去了建立大量interface的繁杂操作

LTAGE.pdf

L-Tage预测器的原理和实现方法 TheTAGEpredictor,TAggedGEometriclengthpredictor, wasintroducedin[10]. TAGEreliesonseveralpredictortablesindexedthrough independentfu

CoverageTut.pdf

Verdi®CoverageUser GuideandTutorial是2017版 一份非常实用的verdi查看coverage的介绍，非常详细

synopsis_VCS_makefile编写.docx

makefile其实完全可以用csh或其他脚本来编写，只是VCS使用的linux内置的make命令定义了一个标准的仿真脚本，make命令是专门用来 做项目的源文件管理和编译控制的命令。这篇文章重点看synpsys的标准仿真脚本都做了哪些操作，然后使用其他脚本来实现

vc_formal_ds.pdf

SoC设计的复杂性要求快速全面的验证方式，以便加速验证和调试，缩短总进度周期，提高可预测性。VCFormal™新一代形式化验证解决方案拥有出色的容量、速度和灵活性，可验证某些最艰巨的SoC设计挑战，它包括全面的分析和调试技术，能够在Verdi®调试平台中快速地找到根本原因。VCFormal解决方案始