Thursday, July 30, 2009

[tjgncaxr] Multi-cycle protocols

Bluespec

Proving rule mutual exclusion. Hints by indicator variables which never get synthesized.

A language for better expressing multi-cycle protocols. Locks.

No comments :