Calculating Digital Counters

Walter Dosch

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

Calculating Digital Counters

Walter Dosch

Institute of Software Engineering and Programming Languages

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.

Original language	English
Title of host publication	PSI 1996: Perspectives of System Informatics
Number of pages	9
Volume	1181
Publisher	Springer Verlag
Publication date	01.01.1996
Pages	21-39
ISBN (Print)	978-3-540-62064-8
ISBN (Electronic)	978-3-540-49637-3
DOIs	https://doi.org/10.1007/3-540-62064-8_3
Publication status	Published - 01.01.1996
Event	2nd International Conference on Perspectives of Systems Informatics - Novosibirsk, Russian Federation Duration: 25.06.1996 → 28.06.1996 Conference number: 149399

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.1007/3-540-62064-8_3

Cite this

@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

Access to Document

Other files and links

Fingerprint

Cite this