[Weekly Review] 2021/01/11-2021/01/17

Published: January 17, 2021 by SingularityKChen (Last updated: January 17, 2021 )

• Categories:
• WeeklyReview 81

• Tags:
• Category 26
• verification 3
• xargs 1

• 2021/01/11-2021/01/17

2021/01/11-2021/01/17

These three weeks, I posts four posts:

• Remove Empty File Folder: introduces how to remove some empty folders. Also, introduces the commands find and xargs.
• Limitations of Current Verification Methods: this survey is still in draft version. Introduces the limitations of current verification methods, including formal verification, constrained random verification (CRV) and hardware-software co-verification using virtual platform with hardware emulation and acceleration.
• State Explosion Problem and Formal Verification: the definition of State explosion problem and its challenges and solutions in formal verification.
• Functional Verification Cycle and Challenges: This post introduces four phases in the functional verification cycle and its four challenges to reduce time and improve robustness at each stage. The corresponding solutions are mentioned as well, which can be seen as the suitable situations for different verification methodology.

I also tried to use Python to model the behavior of one hardware circuit. I think it's more convenient than SystemC. But the clock cycle and power performance can be a tough problem.