Categories, Allegories and Circuit Design

Categories, Allegories and Circuit Design (1994)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Carolyn Brown , Graham Hutton

Venue:	In Ninth Annual IEEE Symposium on Logic in Computer Science
Citations:	16 - 1 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Categories, Allegories and Circuit Design	user correction - Legacy Corrections
AUTHOR NAME	Carolyn Brown	SVM HeaderParse 0.1
AUTHOR AFFIL	COGS, University of Sussex	SVM HeaderParse 0.2
AUTHOR ADDR	Brighton, BN1 9QH, UK	SVM HeaderParse 0.1
AUTHOR NAME	Graham Hutton	SVM HeaderParse 0.1
AUTHOR AFFIL	Chalmers University of Technology	SVM HeaderParse 0.2
AUTHOR ADDR	Goteborg, Sweden	SVM HeaderParse 0.1
ABSTRACT	Relational languages such as Ruby are used to derive hardware circuits from abstract specifications of their behaviour. Much reasoning is done informally in Ruby using pictorial representations of relational terms. We formalise this use of pictures in circuit design. We show that pictures naturally form a unitary pretabular allegory. Homomorphisms of pictures correspond to adding new wires or circuit components. Two pictures are mutually homomorphic if and only if they represent equal allegorical terms. We prove soundness and completeness results which guarantee that deriving circuits using pictures does not lead to errors. We illustrate the use of pictures by deriving the ripple adder implementation from a high level, behavioural specification. 1: Introduction Hardware circuit design involves translating abstract specifications of programs into efficient circuits which compute those programs. Pictures are widely used as an informal means of translating a specification into an imple...	user correction - Legacy Corrections
YEAR	1994	INFERENCE
VENUE	In Ninth Annual IEEE Symposium on Logic in Computer Science	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	372--381	INFERENCE
CITATIONS	15 found	ParsCit 1.0