You can add 7 more tags to this project.
asynchronous
circuit
circuits
dataflow
formalmethods
fsm
graph
logicsynthesis
petri
stg
synthesis
verification
xmas