Calculating Digital Counters

Walter Dosch

doi:10.1007/3-540-62064-8_3

Calculating Digital Counters

Walter Dosch

Institut für Softwaretechnik und Programmiersprachen

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.

Originalsprache	Englisch
Titel	PSI 1996: Perspectives of System Informatics
Seitenumfang	9
Band	1181
Herausgeber (Verlag)	Springer Verlag
Erscheinungsdatum	01.01.1996
Seiten	21-39
ISBN (Print)	978-3-540-62064-8
ISBN (elektronisch)	978-3-540-49637-3
DOIs	https://doi.org/10.1007/3-540-62064-8_3
Publikationsstatus	Veröffentlicht - 01.01.1996
Veranstaltung	2nd International Conference on Perspectives of Systems Informatics - Novosibirsk, Russland Dauer: 25.06.1996 → 28.06.1996 Konferenznummer: 149399

UN SDGs

Dieser Output leistet einen Beitrag zu folgendem(n) Ziel(en) für nachhaltige Entwicklung

Dokumente

10.1007/3-540-62064-8_3

Weitere Links

https://www.scopus.com/record/display.uri?eid=2-s2.0-84955593159&origin=inward&txGid=3b47799b52cf896c2b7736184cf3fc13

Zitieren

@inproceedings{358544bdf5a141e2a8dc7d192a844883,

title = "Calculating Digital Counters",

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.",

author = "Walter Dosch",

year = "1996",

month = jan,

day = "1",

doi = "10.1007/3-540-62064-8_3",

language = "English",

isbn = "978-3-540-62064-8",

volume = "1181",

series = "Lecture Notes in Computer Science ",

publisher = "Springer Verlag",

pages = "21--39",

booktitle = "PSI 1996: Perspectives of System Informatics",

note = "2nd International Conference on Perspectives of Systems Informatics ; Conference date: 25-06-1996 Through 28-06-1996",

}

TY - GEN

T1 - Calculating Digital Counters

AU - Dosch, Walter

N1 - Conference code: 149399

PY - 1996/1/1

Y1 - 1996/1/1

N2 - 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.

AB - 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.

UR - https://www.scopus.com/record/display.uri?eid=2-s2.0-84955593159&origin=inward&txGid=3b47799b52cf896c2b7736184cf3fc13

U2 - 10.1007/3-540-62064-8_3

DO - 10.1007/3-540-62064-8_3

M3 - Conference contribution

SN - 978-3-540-62064-8

VL - 1181

T3 - Lecture Notes in Computer Science

SP - 21

EP - 39

BT - PSI 1996: Perspectives of System Informatics

PB - Springer Verlag

T2 - 2nd International Conference on Perspectives of Systems Informatics

Y2 - 25 June 1996 through 28 June 1996

ER -

Calculating Digital Counters

Abstract

UN SDGs

Dokumente

Weitere Links

Fingerprint

Zitieren