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 languageEnglish
Title of host publicationPSI 1996: Perspectives of System Informatics
Number of pages9
PublisherSpringer Verlag
Publication date01.01.1996
ISBN (Print)978-3-540-62064-8
ISBN (Electronic)978-3-540-49637-3
Publication statusPublished - 01.01.1996
Event2nd International Conference on Perspectives of Systems Informatics - Novosibirsk, Russian Federation
Duration: 25.06.199628.06.1996
Conference number: 149399


Dive into the research topics of 'Calculating Digital Counters'. Together they form a unique fingerprint.

Cite this