Portal de Periódicos da CAPES

Transformational design of digital circuits

1989; Elsevier BV; Volume: 27; Issue: 1-5 Linguagem: Inglês

10.1016/0165-6074(89)90059-8

1878-7061

Jozef De Man, J. Vanslembrouck,

Embedded Systems Design Techniques

Abstract This paper presents a design mechanism based on the algebraic transformation of digital circuit descriptions expressed in a functional language. The functional language is Glass , developed in the context of the Esprit 881 project Forfun . In this paper, attention is limited to the subset of the language dealing with directional circuits [DM88a]. The approach facilitates human reasoning about various design alternatives and allows automatic verification of the correctness of design steps.