共 21 条
[11]
MALLON DJ, 1990, MAR P EUR DES AUT C
[12]
McFarland M. C., 1986, 23rd ACM/IEEE Design Automation Conference. Proceedings 1986 (Cat. No.86CH2288-9), P474, DOI 10.1145/318013.318089
[13]
THE HIGH-LEVEL SYNTHESIS OF DIGITAL-SYSTEMS
[J].
PROCEEDINGS OF THE IEEE,
1990, 78 (02)
:301-318
[14]
MURTY K, 1976, LINEAR COMBINATORIAL
[15]
NESTOR IA, 1987, CMUCAD8710 CARN U DE
[16]
Papachristou C. A., 1990, 27th ACM/IEEE Design Automation Conference. Proceedings 1990 (Cat. No.90CH2894-4), P77, DOI 10.1109/DAC.1990.114833
[19]
SCHRAGE L, 1986, LINEAR INTEGER QUADR, P186
[20]
WILLIAMS HP, 1985, MODEL BUILDING MATH