Are Programming Sequences the Next Abstraction Level Above Transactions?
Frank Schirrmeister has written about Duolog’s recent CDNLive! EMEA presentation (Sequences: Formalizing software programming sequences to enhance HW/SW integration) in his blog.
The presentation given by Duolog’s CTO David Murray especially caught his attention because it introduced a concept which may represent at least an intermediate next step of abstraction for verification.
Read the full article at chipdesignmag.com