Interrupt handler design with Petri nets, STGs and Petrify Vintage - - PowerPoint PPT Presentation

▶

Oct 18, 2022 94 likes •253 views

Interrupt handler design with Petri nets, STGs and Petrify Vintage 1996 Alex Yakovlev (slides made by copying old slides from pdfs) July 2019 Interrupt handler problem from Philips - 1996 Problem Specification My solution: abstract Towards

SLIDE 1

Interrupt handler design with Petri nets, STGs and Petrify

Vintage 1996 Alex Yakovlev (slides made by copying old slides from pdfs) July 2019

SLIDE 2

Interrupt handler problem from Philips - 1996

Problem Specification My solution: abstract

SLIDE 3

Towards Petri net specification

SLIDE 4

Overall structure

SLIDE 5

One-bit handler: Basic Structure

SLIDE 6

Basic schedule for the execution of command b

SLIDE 7

Basic STG for command b

SLIDE 8

Basic STG for command c

SLIDE 9

Basic STG for command r

SLIDE 10

Implementation of one-bit handler

SLIDE 11

Implementation of Coordination Circuit

SLIDE 12

Speed-independent design (for two bit handlers)

SLIDE 13

Speed-independent design with C-gates (for two bit handlers)

SLIDE 14