diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-14 20:59:03 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-14 20:59:03 -0700 |
| commit | 2eec6c6c1714f4c5c39514828c8217ebcd04b498 (patch) | |
| tree | 49b0cefe3a3b71a1d03a1e364ff54d754e43fa57 /src/aig/gia/giaUtil.c | |
| parent | 60c901ea768a6c60de68923068429f7dd64b62d3 (diff) | |
| download | abc-2eec6c6c1714f4c5c39514828c8217ebcd04b498.tar.gz abc-2eec6c6c1714f4c5c39514828c8217ebcd04b498.tar.bz2 abc-2eec6c6c1714f4c5c39514828c8217ebcd04b498.zip | |
Experiments with simulation.
Diffstat (limited to 'src/aig/gia/giaUtil.c')
| -rw-r--r-- | src/aig/gia/giaUtil.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/aig/gia/giaUtil.c b/src/aig/gia/giaUtil.c index 34bda9bb..56aa2468 100644 --- a/src/aig/gia/giaUtil.c +++ b/src/aig/gia/giaUtil.c @@ -59,6 +59,11 @@ unsigned Gia_ManRandom( int fReset ) m_w = 18000 * (m_w & 65535) + (m_w >> 16); return (m_z << 16) + m_w; } +word Gia_ManRandomW( int fReset ) +{ + return ((word)Gia_ManRandom(fReset) << 32) | ((word)Gia_ManRandom(fReset) << 0); +} + /**Function************************************************************* |