| Title | Sequential permissible functions and their application to circuit optimization |
| Publication Type | Conference Paper |
| Year of Publication | 1996 |
| Authors | Lin, C-C, Chen, K-C, Marek-Sadowska, M, Lee, T-C |
| Conference Name | European Design and Test Conference, 1996. ED TC 96. Proceedings |
| Date Published | mar |
| Keywords | circuit optimisation, circuit optimization, directed graphs, implicit algorithm, sequential circuits, sequential permissible functions, state traversal approach |
| Abstract | For sequential circuits the implementation freedom represented by combinational permissible functions (CPFs) and un-reachable states don't cares is not complete. We extend the concept of permissible functions to sequential circuits and introduce the sequential permissible functions (SPFs) to represent the complete freedom associated with a gate. We also study and compare the relationship between CPFs and SPFs. In general, the computation of the SPFs is more expensive than the computation of CPFs. We propose an algorithm that computes SPFs implicitly and is based on the well-known state traversal approach. The computed SPFs are used for sequential circuit optimization |
| DOI | 10.1109/EDTC.1996.494322 |
