questions about co-verification tool HW-CBMC supporting for concurrency scenarios #36

Open

Open

questions about co-verification tool HW-CBMC supporting for concurrency scenarios#36

zhushaofeng1992

can the co-verification tool HW-CBMC support for CPU and DMA device concurrency scenario, for example, to verify the Memory Consistency or resources race?

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests