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. |
Year | DOI | Venue |
---|---|---|
1996 | 10.1109/EDTC.1996.494322 | ED&TC |
Field | DocType | ISSN |
Mathematical optimization,Observability,Tree traversal,Sequential logic,Logic optimization,Computer science,Network synthesis filters,Algorithm,Directed graph,Combinational logic,Computation | Conference | 1066-1409 |
ISBN | Citations | PageRank |
0-8186-7423-7 | 1 | 0.40 |
References | Authors | |
15 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Chih-chang Lin | 1 | 135 | 10.86 |
Malgorzata Marek-Sadowska | 2 | 2272 | 213.72 |
Kuang-chien Chen | 3 | 347 | 30.84 |
Mike Tien-Chien Lee | 4 | 443 | 71.04 |