登入選單
返回Google圖書搜尋
其他書名
A System for Mechanized Digital Design Derivation
出版Computer Science Department, Indiana University, 1990
URLhttp://books.google.com.hk/books?id=pgCMnQEACAAJ&hl=&source=gbs_api
註釋Abstract: "Our research group at Indiana University is investigating a formalization of digital system design that is based on functional algebra. We have developed a transformation system called DDD to facilitate this study. DDD stands for digital design derivation; the system is used interactively to translate higher level specifications into hierarchical boolean systems, to which logic synthesis tools are then applied. In this paper, we take a detailed look at how the system is used. In two examples, we examine the sequence of intermediate expressions produced as an implementation is derived. We discuss how these expressions are used at strategic levels of thinking.