Accuate simplification of large symbolic formulae

• Authors:

• F. V. Fernández;A. Rodríguez-Vázquez;J. D. Martín;J. L. Huertas

• Affiliations:

• Dept. of Analog Circuit Design, Centro National de Microelectónica, Sevilla, Spain;Dept. of Analog Circuit Design, Centro National de Microelectónica, Sevilla, Spain;Dept. of Analog Circuit Design, Centro National de Microelectónica, Sevilla, Spain;Dept. of Analog Circuit Design, Centro National de Microelectónica, Sevilla, Spain

• Venue:
• ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design
• Year:
• 1992