Sequential SPFDs

IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers

Volumn , Issue , 2001, Pages 84-90

  Sinha, S ^a   Kuehlmann, A ^a   Brayton, R K ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; HEURISTIC METHODS; STATE SPACE METHODS;

STATE SPACE EXPLOSION;

SEQUENTIAL CIRCUITS;

EID: 0035215689     PISSN: 10923152     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. Implementation and use of SPFDs in optimizing boolean networks
2. Improved robust SPFD computations
3. A new method to express functional permissibilities for LUT based FPGAs and its applications
4. Don't care minimization of multi-level sequential logic networks
5. Sequential permissible functions and their application to circuit optimization
6. Sequential logic optimization by redundancy addition and removal
7. Retiming and Resyn-thesis: Optimizing sequential networks with combinational networks