100 likes | 210 Views
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.
E N D
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
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)
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
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
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?
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…
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