Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!usc!apple!agate!shelby!msi.umn.edu!src.honeywell.com!milo!shankar
From: shankar@SRC.Honeywell.COM (Subash Shankar)
Newsgroups: comp.arch
Subject: Looking for Busses
Message-ID: <1990Nov15.182350.3593@src.honeywell.com>
Date: 15 Nov 90 18:23:50 GMT
Sender: news@src.honeywell.com (News interface)
Organization: Honeywell Systems & Research Center
Lines: 13
Nntp-Posting-Host: milo.src.honeywell.com


As a test case for a project dealing with busses, I am looking for an existing
bus which is precisely (preferably formally) specified.  The protocol is
preferably simple, but the formalness in its specification is of primary
importance.  It doesn't matter which language the bus is specified in, as long
as it is simple and formal (i.e. not pages and pages of timing diagrams).

Are there any protocols which meet these requirements (or attempt to)?  Thanks
for any suggestions. 
---
Subash Shankar             Honeywell Systems & Research Center MN65-2100
voice: (612) 782 7558      US Snail: 3660 Technology Dr., Minneapolis, MN 55418
shankar@src.honeywell.com  srcsip!shankar