PHIFACT-a Boolean preprocessor for multi-level logic synthesis
(1990) 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.90CH2924-9) — Location: Santa Clara, CA, USA (11.November.1990)
Files
No attached file found for this publication.
Details
- Authors
- Abstract
- PHIFACT is a multi-level Boolean optimization program characterized by a controlled time-area trade-off. Its first phase, the Boolean phase, uses Boolean techniques of decomposition and merging to carry out a structural analysis and, in particular, to detect shared circuit parts. Its second phase, the restructuring phase, carries out a systematic exploration of the area-time design space by applying a user controlled sequence of transformations minimizing a parameterized cost function. The obtained results show the feasibility of full Boolean computations and open the way to an important family of new structural analysis techniques.
- Affiliations
Citations
Crowet, F., Davio, M., Dierieck, C., Durieu, J., Louis, G., & Ykamn-Couvreur, C. (1990). PHIFACT-a Boolean preprocessor for multi-level logic synthesis. 1990 IEEE International Conference on Computer-Aided Design. Digest ofTechnical Papers (Cat. No.90CH2924-9), p. 506-509. https://doi.org/10.1109/ICCAD.1990.129966