The ever increasingly number of transistors possible in VLSI circuits compounds the diiculty in ensuring correct designs. Formal veriication has been touted as a means of overcoming this problem, but most of the work in this area has been directed at standalone theorem provers. Before veriication is accepted by the VLSI design community, the stand alone veriication tools that are in use in the ...

Engine crankshafts are required to be balanced. The balance of a crankshaft is one of several parameters to be analyzed during the design of an engine, but certainly a poor balance leads to a low life time of the whole system. It is possible to optimize the balance of a crankshaft using CAD and CAE software, thanks to the new optimization tools based on Genetic Algorithms (GA) and tools for the...

Rapid discoveries of novel and unexpected disease-associated genes for atherosclerotic coronary artery disease (CAD) are anticipated as genomic maps become more detailed and methods for mapping complex disease phenotypes become more refined. Although establishing association or linkage of a marker locus to a CAD susceptibility gene is an important first step, the long-term goal should be to def...

The trend of VLSI CAD tool development evolves towards functionally specialized, methodology-dependent and technologydependent. Confusion can easily arise during the design process because of the proliferation of CAD tools and the mammoth amounts of design data. This is aggravated by the fact that different CAD tools are usually created by different vendors with different interface styles. As a...

The articles in this special section illustrate the relevance of machine learning algorithms to microwave engineers and their CAD tools, as used industry academia.

A CAD assembly model is a collection of components, comprised recursively of various levels of individual parts and sub-assembly models. Although the overall geometry in the CAD assembly model accurately represents the final finished product, this model is often meaningless from a manufacturing planning and simulation point of view. The grouping of the components into sub-assemblies and the ass...

The increasing complexity of micro,rystem design mandates a distributed and collaborative design environment. The World Wide Web serves as a desirable plaqorm for distributed access to information and design tools. In this paper we present a framework that enables distributed Web based CAD, in which Web based design tools can eficiently utilize the capabilities of existing design tools on the W...

Computer-Aided Design (CAD) tools play an essential role in modern microelectronics. A comparison (between two of the available CAD tool suites, OCTTOOLS and OASIS, is presented along with detailed description of their features and advantages. These tools utilize full-custam or the standard cells semi-custom approaches. This paper is intended to facilitate proper choice of the tools for best VL...

This paper addresses several issues involved for routing in Field-Programmable Gate Arrays (FPGAs) that have both horizontal and vertical routing channels, with wire segments of various lengths. Routing is studied by using CAD routing tools to map a set of benchmark circuits into FPGAs, and measuring the effects that various parameters of the CAD tools have on the implementation of the circuits...