Yunjian Jiang, Robert K. Brayton. Logic optimization and code generation for embedded control applications. In Jan Madsen, Jörg Henkel, Xiaobo Sharon Hu, editors, Proceedings of the Ninth International Symposium on Hardware/Software Codesign, CODES 2001, Copenhagen, Denmark, 2001. pages 225-229, ACM, 2001. [doi]
Abstract is missing.