The NoC primitives are missing cocotb tests. Old code by @wallento is available at imphil/optimsoc@32162b1 and can potentially be used as starting point.

Description

We must provide destructive functions to do sanity checks on synchronization abstractions when we will not use them anymore. For instance, we must ensure that no threads are waiting on a semaphore that will not be used again.

Create destructive functions (thread.h)

• convar_destroy
• semaphore_destroy
• mutex_destroy

Interface

We are not using the nodes interface, thus we should drop it.

Currently, we don't verify if a synchronization abstraction is initialized before operate it. We must introduce a way to verify this property.

Abstractions

• Condvar
• Semaphore
• Mutex

Description

We should support several flavors for software division, such as unsigned division long long division, and so on.

Complete the following lists with missing operations

32-bit Integer

• long division
• long module
• unsigned long division
• unsigned long module

64-bit Integer

• long long division
• long long module