Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
|
surveys:synthesis [2011/04/19 16:52] jobstman |
surveys:synthesis [2011/04/19 16:54] jobstman |
||
|---|---|---|---|
| Line 17: | Line 17: | ||
| * parser generators (YACC) | * parser generators (YACC) | ||
| * generator for statistical analyzers (AutoBayes Synthesis System, Johann M. Schumann, NASA - Moffett Field) | * generator for statistical analyzers (AutoBayes Synthesis System, Johann M. Schumann, NASA - Moffett Field) | ||
| - | * Matlab Simulink from MathWorks (based on a synchronous dataflow language) | + | * Matlab Simulink from MathWorks (based on a synchronous dataflow language, generates C/C++ code) |
| - | * SCADE Suite from Esterel Technologies (Systems are described using a synchronous language) | + | * SCADE Suite from Esterel Technologies (Systems are described using a synchronous language, generates C/C++ code) |
| - | * Bluespec (HDL based on rules, each rule is executed automatically, designs have no explicit clock) | + | * Bluespec compiler (HDL based on rules, each rule is executed automatically, designs have no explicit clock, generates Verilog code) |
| - | * BIP (extended automata and synchronization constructs) | + | * BIP compiler (Systems are describe using extended automata and synchronization constructs, generates C/C++ code) |
| * ... | * ... | ||