1 / 19

Workcraft – a Framework for Interpreted Graph Models

Ivan Poliakov, Arseniy Alekseyev, Victor Khomenko, Alex Yakovlev. Workcraft – a Framework for Interpreted Graph Models. Interpreted Graph Models. Static graph structure Nodes Arcs Additional entities Tokens Node states Arc states Etc Examples: Petri Nets Static Data Flow Structures

ernie
Download Presentation

Workcraft – a Framework for Interpreted Graph Models

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. Newcastle upon Tyne Ivan Poliakov, Arseniy Alekseyev, Victor Khomenko, Alex Yakovlev Workcraft – a Framework for Interpreted Graph Models

  2. Newcastle upon Tyne Interpreted Graph Models • Static graph structure • Nodes • Arcs • Additional entities • Tokens • Node states • Arc states • Etc • Examples: • Petri Nets • Static Data Flow Structures • Gate-level circuits

  3. Newcastle upon Tyne Petri Nets as a low-level 'language' • Many high-level models do not have sufficiently developed theory and associated tools • Petri Nets have exensive theory and many efficient tools • Approach: convert high-level models into PNs for analysis/verification

  4. Newcastle upon Tyne Verification workflow

  5. Newcastle upon Tyne Workcraft • A tool for working with IGMs • Visual editing • Interactive simulation • Automated verification • For researchers: • define new Interpreted Graph Models • inherit visual editing and simulation features of the framework • For system designers • a consistent framework for different formalisms • convenient analysis and verification functions

  6. Newcastle upon Tyne Workcraft GUI overview

  7. Newcastle upon Tyne Working with models • Creating new model

  8. Newcastle upon Tyne Working with models • Simulation • Modes: • Automatic • Interactive • Trace-replay • Step-by-step

  9. Newcastle upon Tyne Model interoperability

  10. Newcastle upon Tyne More complex interoperability

  11. Newcastle upon Tyne Use case — Static Data Flow Verification Original state 29 steps Deadlock state

  12. Newcastle upon Tyne Use case — Asynchronous circuit verification Hazard caused by wire delay

  13. Newcastle upon Tyne Summary • Workcraft is a framework for Interpreted Graph Models • Provides visual editing and simulation features • Provides automated verification features • Workcraft has been used in several real-life cases • SDFS verification • Circuit verification (e.g. the design of a multiresource arbiter by Golubcovs et al.) • CPOG-based synthesis • Available free for academic use at • async.org.uk/workcraft

  14. Newcastle upon Tyne Workcraft 2 • Almost complete rewrite of Workcraft 1: • No longer OpenGL dependent • visualisation engine switched from custom-written to Java2D • much better portability • Customisable multi-window interface • Persistent docking layout • Hideable utility windows

  15. Newcastle upon Tyne Workcraft 2 (cont.) • Logical model data and visual data are separate • Logical models can exist without visual data • Import from files without visual data is allowed (such as .g) • Visual data can be attached on-the-fly • Console mode • JavaScript-based command line • Scriptable batch processing

  16. Newcastle upon Tyne Use case – Balsa circuit re-synthesys • Visualisation of Balsa net-lists • Generation of STGs for individual HS components • STG composition of the entire HS circuit

  17. Newcastle upon Tyne Individual component STGs "SequenceOptimised" component STG "Concur" component STG

  18. Newcastle upon Tyne Resulting STG composition out0 out1 activate out2 out3

  19. Newcastle upon Tyne • (tool demo)

More Related