This is a library to model logic operations performed by hardware compilers and simulators.
The semantics are set for LiveHD/Pyrope which uses unlimited precision signed arithmetic, but it can be used by other hardware platforms.
| Name | Name | Last commit date | ||
|---|---|---|---|---|