diff options
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************************************************************* |