Convert FIRRTL to NuSMV/nuXmv recognizable SMV file for hardware model checking.

• Some types: UInt, Bool (UInt<1>), SInt
• Some primitive operations: Not, And, Or, Xor, Eq, Neq, Lt, Gt, Leq, Geq, Neg, Add, Sub, Mul, Div, Rem, Shl, Shr, Dshl, Dshr, Cat, Tail, Bits, Pad
• Registers
• Memories
• Mux

Copyright (C) 2010-2020 MaxXing. License GPLv3.