c428dca Decreased number of tests for DataWidthConverter
3f395f6 Bugfix concerning log2Ceil(1) == 0
0092287 Replace unit tests for DataWidthConverter with property spec
9ffa2fe Finish data width converter correctness spec
435ee4b Work on generator for valid data width conversions
f91ed9f Start implementation of data width conversion spec
1d57540 Improve debug output of DecoupledDataSource
4a4a7d2 Replace DecoupledDataSource testing with prop check
9da9dc5 Finish replacement of SignalGenerator tests
aeee2cd Started with property-based testing
20c08e2 Fix bug in DecoupledDataSource, remove crossVersions

git-subtree-dir: miscutils
git-subtree-split: c428dca006d0aa62d25c83ffdffad8baf229bcfb

* finished implementation of property based testing with random
  generators, much more thorough than the previous tests
* implemented both regular clock input and generated random clock input