ASYL: a logic and architecture design automation system
M. Crastes-De-Paulet, C. Duff, Régis Leveugle, F. Poirot, G. Saucier, P. Sicard · HAL (Le Centre pour la Communication Scientifique Directe) · 1989
This paper is focused on the ASYL system with a special emphasis on the four most original aspects which are the 2-level minimization, the multi-level synthesis on PALs, the multi-level synthesis on compiled cells, and the state assignment of controllers. The ASYL system which is dedicated to synthesis is coupled with the CADOC system. CADOC which has been developed in the framework of an ESPRIT Project, is dedicated to functional simulation and is used as a high-level input-language and as a simulator. Results for the different topics are presented on classical international benchmarks.