计算机科学
计算复杂性理论
计算机工程
模型检查
直线(几何图形)
理论计算机科学
计算机体系结构
算法
数学
几何学
作者
P. T. Chapman,Kevin D. Clark
出处
期刊:Design Automation Conference
日期:1984-06-25
卷期号:: 235-241
被引量:9
标识
DOI:10.5555/800033.800802
摘要
Advances in integrated circuit technology in the last several years have led to designs with ever-increasing complexity and density. Consequently, designers have been faced with performing design-rule-checking on designs with shape outlines that have been doubling in number every year or two. In response, we have recently incorporated efficient algorithms into our design checking strategy. This paper reports on the computational results of these efforts.
科研通智能强力驱动
Strongly Powered by AbleSci AI