PHIFACT, a Boolean Preprocessor for Multi-Level Logic Synthesis

F. Crowet, Marc Davio, C. Dierieck, J. Durieu, G. Louis, Chantal Ykman-Couvreur. PHIFACT, a Boolean Preprocessor for Multi-Level Logic Synthesis. In ICCAD. pages 506-509, 1990.

@inproceedings{CrowetDDDLY90,
  title = {PHIFACT, a Boolean Preprocessor for Multi-Level Logic Synthesis},
  author = {F. Crowet and Marc Davio and C. Dierieck and J. Durieu and G. Louis and Chantal Ykman-Couvreur},
  year = {1990},
  tags = {C++, logic},
  researchr = {https://researchr.org/publication/CrowetDDDLY90},
  cites = {0},
  citedby = {0},
  pages = {506-509},
  booktitle = {ICCAD},
}