[<<][synth][>>][..]
Wed Jan 12 12:13:58 EST 2011

2-Scroll modified SVF

This needs a bit more thought.  I tried but can't build it just out of
the blue..  I need a symbolic model that can be verified, i.e. some
Haskell code?



[Reply][About]
[<<][synth][>>][..]