[Weekly Review] 2021/01/25-2021/01/31

Published: January 31, 2021 by SingularityKChen (Last updated: February 01, 2021 )

• Categories:
• WeeklyReview 81

• Tags:
• Formal 7
• Model 2
• Verification 3
• Version Control 2
• alias 2

• 2021/01/25-2021/01/31

2021/01/25-2021/01/31

Last week, I post four posts and update the Current Verification Methods And Their Limited Situations again:

• Branch Strategy: Version control strategies, like TBD, Git-Flow, GitLab-Flow.
• Formal Signoff: This post introduces the reason and goal of formal signoff. Later seven steps of formal signoff based on Synopsys are listed.
• Linux aliases: Some useful Linux aliases.
• Python Hardware Behaviour Model: In this tutorial, I will try to help you understand how to write a Python hardware behaviour model.