1 / 10

What is the next level of abstraction?

What is the next level of abstraction?. Alon Gluska Intel iMPG, Haifa. Why was it difficult to go to HLM?. Validation is the problem of the validators…. Why was it difficult to go to HLM?. Validation is the problem of the validators… Architects need only to write specs.

ronna
Download Presentation

What is the next level of abstraction?

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. What is the next level of abstraction? Alon Gluska Intel iMPG, Haifa

  2. Why was it difficult to go to HLM? • Validation is the problem of the validators…

  3. Why was it difficult to go to HLM? • Validation is the problem of the validators… • Architects need only to write specs

  4. Why was it difficult to go to HLM? • Validation is the problem of the validators… • Architects need only to write specs • Designers need to write code (and insert bugs of course)

  5. Why was it difficult to go to HLM? • Validation is the problem of the validators… • Architects need only to write specs • Designers need to write code (and insert bugs of course) • It is the validators that needs to cope with all the mess

  6. Why was it difficult to go to HLM? • Validation is the problem of the validators… • Architects need only to write specs • Designers need to write code (and insert bugs of course) • It is the validators that needs to cope with all the mess • HLM requires a complete change in the way we do design • Methodologies, expertise, mindset

  7. Why was it difficult to go to HLM? • Validation is the problem of the validators… • Architects need only to write specs • Designers need to write code (and insert bugs of course) • It is the validators that needs to cope with all the mess • HLM requires a complete change in the way we do design • Methodologies, expertise, mindset • Can we afford not to change?

  8. Essential features of higher level • HLM represents a holistic approach • Architects develop highly abstract models • Designers add more details to the abstract model • Making is cycle accurate and synthesizable • Coping with timing, power and other low level details • Validation reuse collateral along all abstraction levels • HLM is beneficial for • Better specifications (w.r.t. English documents) • Early software development • Integrations of IPs into systems (SOC) • And more • But these are not the real promise…

  9. Essential features of higher level • Need to completely switch to HLM • With no need to go through RTL • Dramatically reduce the details in design • Or otherwise, we do very little… • Requires translation and formal equivalence from HLM to gate-level • Taking power, timing and layout into consideration • We are not there yet • Semantic of HLM languages, tools and methodologies • But we will get there soon

More Related