Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT

被引：0

作者：

School of Computing Science, University of Newcastle Upon Tyne, NE1 7RU, United Kingdom ^{[1
]}

不详 ^{[2
]}

机构：

来源：

Fundam Inf | 2006年 / 1-2卷 / 49-73期

关键词：

33;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用