[fedora-electronic-lab] Re: [Fedora Electronic Lab] #51: chalmers-lava2000

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]



#51: chalmers-lava2000
--------------------------+-------------------------------------------------
  Reporter:  shakthimaan  |       Owner:  shakthimaan
      Type:  defect       |      Status:  assigned   
  Priority:  major        |   Milestone:  Fedora 13  
 Component:  FEL          |     Version:  devel      
Resolution:               |    Keywords:             
--------------------------+-------------------------------------------------
Changes (by shakthimaan):

  * owner:  shakthimaan* => shakthimaan
  * status:  new => assigned

Comment:

 Upstream has made the changes and released a new package. But, few
 clarifications required:

 1. Upstream uses Scripts/smv.wrapper script which is a 'freeware' Cadence
 tool which we cannot ship. If we package NuSMV (ticket #89), can we safely
 remove the present smv.wrapper scripts shipped with the upstream package?

 Instead of the Scripts/satzoo.wrapper, we could look into using minisat2
 compatibility usage.

 Verification is optional, so if we package NuSMV, should we add this as
 'Requires' in this chalmers-lava2000 package? or should we ignore the
 verification part and go ahead with just packaging chalmers-lava2000
 package, but, document verification in our FEL user guide?

 2. There is a Vhdl/lava.vhd file included in the upstream package that has
 definitions of entities, which are produced in the .vhdl file generated
 from chalmers-lava2000 when using:

 === First.hs ===

  import Lava

  halfAdd (a, b) = (sum, carry)
    where
      sum   = xor2 (a, b)
      carry = and2 (a, b)

 === END ===

 $ ghci
 Prelude> :l First.hs
 *Main> import Lava
 *Main Lava> writeVhdl "halfAdd" halfAdd

 How to include this definition file, lava.vhd, in the generated
 halfAdd.vhd source file so it can be compiled successfully with ghdl (for
 example)?

 3. Where should we place this lava.vhd definitions file so that any VHDL
 project across the system can include it?

-- 
Ticket URL: <https://fedorahosted.org/fedora-electronic-lab/ticket/51#comment:5>
Fedora Electronic Lab <https://fedorahosted.org/fedora-electronic-lab>
Design, Simulate and Program electronics.

_______________________________________________
Fedora-electronic-lab-list mailing list
Fedora-electronic-lab-list@xxxxxxxxxx
https://www.redhat.com/mailman/listinfo/fedora-electronic-lab-list

[Index of Archives]     [Fedora Users]     [Fedora Legacy]     [Fedora Maintainers]     [Fedora Desktop]     [Fedora SELinux]     [Big List of Linux Books]     [Yosemite Forum]     [Yosemite Photos]     [KDE Users]     [Fedora Tools]
  Powered by Linux