Abstract

Deductive design characterizes a method where a system description is deduced from the functional specification of its behaviour applying formal transformations rules. Following this design methodology, we derive circuit descriptions for various combinational and sequential counters from a common functional specification using equational and inductive reasoning.

OriginalspracheEnglisch
TitelPSI 1996: Perspectives of System Informatics
Seitenumfang9
Band1181
Herausgeber (Verlag)Springer Verlag
Erscheinungsdatum01.01.1996
Seiten21-39
ISBN (Print)978-3-540-62064-8
ISBN (elektronisch)978-3-540-49637-3
DOIs
PublikationsstatusVeröffentlicht - 01.01.1996
Veranstaltung2nd International Conference on Perspectives of Systems Informatics - Novosibirsk, Russland
Dauer: 25.06.199628.06.1996
Konferenznummer: 149399

Fingerprint

Untersuchen Sie die Forschungsthemen von „Calculating Digital Counters“. Zusammen bilden sie einen einzigartigen Fingerprint.

Zitieren