Design Languages, Group 6

1
Design Languages, Group 6

• Stephen A. Edwards
• Mukul Prasad
• Srinivas Mandalika
• Takeshi Matsumoto
• Kenshu Seto
• Tiziano Villa
• Cast of thousands

2
What is the problem?

• Language that supports the way algorithms work
• Language that supports the way designers think

3
What algorithms?

• Fast Simulation
• Parallel Implementation
• Fast Equivalence Checking
• Synthesis
• Hardware/Software cosimulation/synthesis

4
What Methodologies?

• Heterogeneity
• Analog modeling to software with operating
  systems
• SoC-style designs
• Scalability
• Expressibility/controllability

5
Anything Interesting?

• (SystemHandelSpecHardware)C()?
• Flexibility without formality
• Matlab
• Narrow, analyzable, too high-level
• (System)?(VeriSuper)log
• Less flexible, some formality
• Anything else?