Files in this item
Files | Description | Format |
---|---|---|
application/x-tar and application/x-gzip ![]() | (no description provided) | application/x-tar and application/x-gzip |
Description
Title: | Source Code for an Executable Formal Semantics of Production Rule Sets in Maude, with Examples (JLAP version, June 2011) |
Author(s): | Katelman, Michael; Keller, Sean; Meseguer, José |
Subject(s): | PRS
Maude Executable Formal Semantics Asynchronous VLSI |
Abstract: | We give source code for an executable formal semantics of production rule sets (PRS) in Maude, along with several example circuits that can be model checked for hazard-free and deadlock-free operation using our semantics and Maude's search command. |
Issue Date: | 2011-06-20 |
Type: | Other |
URI: | http://hdl.handle.net/2142/25444 |
Publication Status: | unpublished |
Peer Reviewed: | not peer reviewed |
Date Available in IDEALS: | 2011-06-20 |