Files in this item

FilesDescriptionFormat

application/pdf

application/pdfrewriting_semantics_of_production_rule_sets.pdf (474Kb)
(no description provided)PDF

Description

Title:Rewriting Semantics of Production Rule Sets
Author(s):Katelman, Michael; Keller, Sean; Meseguer, Jos��
Subject(s):rewriting logic semantics
production rule sets
asynchronous vlsi
maude
Abstract:This paper is about the semantics of production rule sets, a language used to model asynchronous digital circuits. Two formal semantics are developed and proved equivalent: a set-theoretic semantics that improves upon an earlier effort of ours, and an executable semantics in rewriting logic. The set-theoretic semantics is especially suited to meta-level proofs about production rule sets, whereas the executable semantics can be used with existing tools to establish, automatically, desirable properties of individual circuits. Experiments involving several small circuits are detailed wherein the executable semantics and the rewriting logic tool Maude are used to automatically check two important properties: hazard and deadlock freedom. In doing so, we derive several useful optimizations that make automatic checking of these properties more tractable.
Issue Date:2012-06-10
Citation Info:JLAP
Type:Text
URI:http://hdl.handle.net/2142/31846
Publication Status:published or submitted for publication
Peer Reviewed:is peer reviewed
Date Available in IDEALS:2012-06-11


This item appears in the following Collection(s)

Item Statistics

  • Total Downloads: 247
  • Downloads this Month: 0
  • Downloads Today: 0