A simple implementation of "observable sharing". See
- Koen Claessen, David Sands, "Observable sharing for functional circuit description", Asian Computing Science Conference, 1999.
for more details.
A simple implementation of "observable sharing". See
for more details.