理查德·利普顿。;雅各布·瓦尔德斯;戈帕拉克里什南·维贾扬;斯蒂芬·诺思(Stephen C.North)。 VLSI布局作为编程。 (英语) Zbl 0511.94018号 ACM事务处理。程序。语言系统。 5, 405-421 (1983). 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2个 +3 显示扫描页面 MSC公司: 94立方厘米 交换理论,布尔代数的应用;布尔函数(MSC2010) 68N99型 软件理论 关键词:设计;语言;分层设计 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Lipton}等人,ACM Trans。程序。语言系统。5、405--421(1983年;Zbl 0511.94018) 全文: 内政部