implementation-ready constraints and toplevel for vc707