1 / 9

SpecC/

http://www.SpecC.org/. SpecC stands for “specification description language based on C”. What is SpecC?. Design Methodology for capturing and exchanging specifications of embedded systems for consistency and continuity from specification to implementation System-Level Description Language

arich
Download Presentation

SpecC/

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. http://www.SpecC.org/ SpecC stands for “specification description language based on C”.

  2. What is SpecC? • Design Methodology • for capturing and exchanging specifications of embedded systems • for consistency and continuity from specification to implementation • System-Level Description Language • no distinction between HW and SW • specs and components in one syntax • functional specs, architectural specs, and implementation design under same syntax and semantics • based on ANSI-C • executable specification from the start

  3. SpecC Design Flow Application Specific Domain Marketing Product Planning Upper CASE Tool Requirement Specification Product Spec Specification Model SpecC Technology Architecture Model Communication Model Lower CASE Tool Codes / RTOS Behavior High-level Synthesis Compiler RTL HW SW Logic Synthesis Assembly Gate Linker P&R Layout Load Module Prototype Mfg

  4. Specification Synthesis Design Specification Computational Behavior IP Communication Channel Specification Model IP Architecture Exploration Behavior mapping Channel mapping Variable mapping Architecture Model IP Communication Synthesis Protocol Insertion Transducer Synthesis Protocol inlining Communication Model Software Model Hardware Model

  5. Methodology Benefits Rapid, Easy, and Smooth Exploration in the Design of Embedded Systems, Ubiquitous Computing • HW/SW Co-Design • Partitioning/Scheduling in the System Level • “Ready to Product” quality of output (HDL,C) • Easy Optimization of Product Cost/Performance • Design Tool Interoperability • Easy to build total design solutions • IP-Centric Design • IP reuse for every specification models • Easy to publish: IP-spec by SpecC • Easy to reuse: Interface synthesis • Education of System Architects • Established Design Style • Know-how transfer enabled via Design Legacy

  6. Purpose • Standardize specification description language • Establish interoperability among design tools • Promote industry-academia-wide collaboration • Establish design methodology/guidelinesbased on SpecC • Easy tailoring of design solutions for each application segments. • Aggregation and Reuse of design IPs

  7. History • Nov. ’99 Established by 24 endorsers. • 2001 • Language seminars • Exhibitions / conferences • Reference model development • Free and Open Source Code for SpecC v1.0 • Application Reports / case studies available • Working Group Activities • Language Specification WG • Discussion and Approval of SpecC Syntax and Semantics • Improvement of SpecC language • Activities are via E-Mail world wide. • Communication with other language-based activities • Goal is to send LRM to a standardization body. • Case Study WG • Members open their examples for discussion of usage on SpecC Technology • Promotion of conference to present case studies • Presentation of case studies from academia/industries at MST 30 Industry Members 30 Academic Members World wide(Mar. 2002)

  8. New Activity in 2002 • SpecC Academic Research Program • Aims more innovative and leading activities in ubiquitous computing era through improving SOC design technology. • Promotes academia-industries collaboration and synergy. • Plans of exhibitions and conferences for mutual discussions. • Provides research environment (tool set) with cooperation from 5 major tool vendors. • InterDesign System Design VisualSpec • Y Explorations High Level Synthesis eXCite • CATS CASE ZIPC • Gaio IDE for ARM OPENplus for ARM • MISPO RTOS m-iTRON • 17 professors at 16 major universities join. • 22 professors at 15 major universities endorse. • Research topics will come from both of SW and HW area.

  9. SpecC Summary • Design Methodology for innovative SoC design • Well-defined Design Models & Well-defined Refinement Tasks • Language for accelerating Methodology spread. • Based on ANSI-C, with extensions for Systems Design • Support of all Concepts needed in Embedded Systems Design • Separation of Communication & Computation for Design Reuse • Executable and Synthesizable • Impact on Industries • Easy tailoring of Design Solutions for each application domains. • Enabling smooth Specification & IP Exchanges between System Houses, Design Houses and Fabrications. • Accelerating Education of System Architects for rapid growth in emerging Electronics Industries.

More Related