murphi2uclid(1) on Linux
The text 3519372ff291, as Debian 13 (Trixie) shipped it. The page shows this text now.
translate a Murphi model to Uclid5
Flags it lists
-
--help -
--module -
--numeric-type -
--output -
--quiet -
--verbose -
--version -
-? -
-m -
-n -
-o -
-q -
-v