User guide

11-1
Race Detection
11
Race Detection 1
VCS provides a dynamic race detection tool that finds race conditions
during simulation and a static race detection too that finds race
conditions by analyzing source code during compilation. This chapter
describes these two tools in the following sections:
The Dynamic Race Detection Tool
The Static Race Detection Tool