@inproceedings{818b62925dee434ebae26b256d4493fb,
title = "AFMG: Automatic functional model generation system for digital simulation",
abstract = "This paper presents an automatic program synthesis system which generates models for digital simulators. Behavioral and structural models are generated from Boolean equations, truth tables, HDL descriptions or schematic diagrams. This system provides an efficient method for automatic model development. As a result, the design cycle can be significantly reduced.",
author = "Han, {Chang Ho} and Sungho Kang and Szygenda, {Stephen A.}",
year = "1991",
language = "English",
isbn = "0780301013",
series = "Fourth Annual IEEE International ASIC Conference and Exhibit",
publisher = "Publ by IEEE",
pages = "P12--2.1--P12--2.4",
booktitle = "Fourth Annual IEEE International ASIC Conference and Exhibit",
note = "Proceedings Fourth Annual IEEE International ASIC Conference and Exhibit ; Conference date: 23-09-1991 Through 27-09-1991",
}