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