mostly on computers and mathematics
Bluespec
Proving rule mutual exclusion. Hints by indicator variables which never get synthesized.
A language for better expressing multi-cycle protocols. Locks.
Post a Comment
No comments :
Post a Comment