1 result found Sort:

workcraft
workcraft workcraft
142
61
mit
10
Toolset to capture, simulate, synthesize and verify graph models
cad eda fsm stg async circuit petri-nets simulation logic-synthesis formal-verification formal-specification
Created 2016-02-07
4,807 commits to master branch, last one a day ago