Re: About the use of vl2mv

From: Emil (Emil.Dumitrescu@imag.fr)
Date: Tue Jul 02 2002 - 06:10:12 MDT

  • Next message: Jean-Luc Mercadier: "Initial state and check_invariant"

    Jean-Luc,

    As far as I can remember, bundles are used to represent array objects.
    Unfortunately, they are not part of the ³standard² blif-mv language, in
    which arrays must be expanded into bits. I think you obtained bundles by
    using a particular translation option with vl2mv... In my opinion, you
    shouldn¹t use it for VIS.

    Emil

    Le 2/07/02 14:37, « Jean-Luc Mercadier »
    <jean-luc.mercadier@tni-valiosys.com> a écrit :

    > Hello,
    >
    > I've tried the latest version of vl2mv (v 0.3) but the generated file does not
    > pass the syntax checking of VIS 1.4. The construction .bundle doesn't seem to
    > be supported.
    >
    > What is the way to build VIS 1.4 compliant files with vl2mv ?
    > What is the version of vl2mv that build files that are supported by VIS ?
    >
    > Thanks in advance for your response.
    >
    > Jean-Luc Mercadier
    >



    This archive was generated by hypermail 2b30 : Tue Jul 02 2002 - 06:13:07 MDT