[Weekly Review] 2021/02/01-2021/02/07

Published: February 07, 2021 by SingularityKChen (Last updated: February 07, 2021 )

• Categories:
• WeeklyReview 81

• Tags:
• ACA 2
• Cbo 2
• Formal 7
• Haswell 2
• IIO 2
• LLC 2
• QPI 2
• SAD 2
• VC Formal 2

• 2021/02/01-2021/02/07

2021/02/01-2021/02/07

Last week, I post two posts:

• VC Formal Apps: This post introduces the Apps of VC formal, including AEP, FCA, CC, SEQ, FRV, FXP, FPV, FTA, FSV, DPV, RMA, AIP and FuSa.
• Terms in the Intel Xeon E5-2600 V3 “Haswell-EP” Workstation Die Configurations: Some terms in Intel Xeon E5-2600 V3 Haswell-EP Workstation Die Configurations, including ACA, LLC, Cbo, SAD, QPI, IIO.