SANTA CRUZ, Calif. — Confluence, an HDL generation language created by engineer Tom Hawkins, has added output for the NuSMV open-source symbolic model checker. The new Confluence version 0.8.0 also ...
SANTA CRUZ, Calif. — Confluence, an RTL generation language, has a new link to an open-source model checker used primarily to verify complex software systems. The result is a new way to check system ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback