Project

General

Profile

Download (317 Bytes) Statistics
| Branch: | Tag: | Revision:

lustrec-tests/regression_tests/lustre_files/success/kind_fmcad08/memory2/readme-memory2.txt @ 2d37a1e1

1 
Sources for benchmarks:
2 

    		
  

  

    
      3
    
    
      
ILLINOIS*, MESI*, MOESI*, SYNAPSE*: Based on problems by David Merchat 


    		
  

  

    
      4
    
    
      
  (courtesy of Anders Franzen)


    		
  

  

    
      5
    
    
      

    		
  

  

    
      6
    
    
      

    		
  

  

    
      7
    
    
      
Please note that many of these benchmarks contain deliberately introduced


    		
  

  

    
      8
    
    
      
modifications to alter their behaviors, and do not necessarily reflect the


    		
  

  

    
      9
    
    
      
original creator's design intentions.


    		
  









  (911-911/911)