摘要
Y2002-63279-220 0312941使用分层有条件相关图表和约束逻辑编程的条件行为综合=Synthesis of conditional behaviors using hierarchi-cal conditional dependency graphs and constraint logicprogramming[会,英]/Kuchcinski,K.& Wolinski,C.//2001 IEEE Symposium on Digital Systems De-sign.—220~227(TE)
出处
《电子科技文摘》
2003年第6期89-90,共2页
Sci.& Tech.Abstract