Gigamax multiprocessor (Translated from gigamax.smv of SMV)

gigamax.v
    gigamax verilog source
gigamax.ctl             
    gigamax ctl formulas
gigamax.mv              
    blif-mv for gigamax, target code of vl2mv from gigamax.v