|
马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。
您需要 登录 才可以下载或查看,没有账号?注册
x
algorithms and data structures in vlsi Design
One of themain problems in chip design is the huge number of possiblecombinations of individual chip elements, leading to a combinatorialexplosion as chips become more complex. New key results in theoreticalcomputer science and in the design of data structures and efficientalgorithms can be applied fruitfully here. The application of orderedbinary decision diagrams (OBDDs) has led to dramatic performanceimprovements in many computer-aided design projects. This textbookprovides an introduction to the foundations of this interdisciplinaryresearch area, with an emphasis on applications in computer-aidedcircuit design and formal verification. |
|