60 likes | 77 Vues
Design Languages, Group 6. Stephen A. Edwards Mukul Prasad Srinivas Mandalika Takeshi Matsumoto Kenshu Seto Tiziano Villa Cast of thousands. What is the problem?. Language that supports the way algorithms work Language that supports the way designers think. What algorithms?.
E N D
Design Languages, Group 6 Stephen A. Edwards Mukul Prasad Srinivas Mandalika Takeshi Matsumoto Kenshu Seto Tiziano Villa Cast of thousands
What is the problem? • Language that supports the way algorithms work • Language that supports the way designers think
What algorithms? • Fast Simulation • Parallel Implementation • “Fast Equivalence Checking” • Synthesis • Hardware/Software cosimulation/synthesis
What Methodologies? • Heterogeneity • Analog modeling to software with operating systems • SoC-style designs • Scalability • Expressibility/controllability
Anything Interesting? • (System|Handel|Spec|Hardware)C(++)? • Flexibility without formality • Matlab • Narrow, analyzable, too high-level • (System)?(Veri|Super)log • Less flexible, some formality • Anything else?