Project

General

Profile

« Previous | Next » 

Revision 4a0ba157

Added by Arnaud Dieumegard about 6 years ago

Minor comments update

View differences:

src/tools/importer/main_lustre_importer.ml
1 1 
(* An application that loads json provided input and produces Lustre
2 2 

  		




  3
  3
  
    
Usage:


  		




  4
  
  
    
lustrei -vhdl myvhdl.json 


  		




  5
  
  
    
lustrei -scade myscademodel.json 


  		




  
  4
  
    
lustrei -vhdl myvhdl.json -gen_lustre


  		




  
  5
  
    
lustrei -scade myscademodel.json -gen_lustre


  		




  6
  6
  
    
  will produce a lustre file that can be compiled and analyzed


  		




  7
  7
  
    

  		




  8
  8
  
    
VHDL is handled in a double way: as a backend and as an import language


  		












Also available in:  Unified diff