Computer simulation is an indispensable tool for the design of new VLSI devices. Besides the progress in physical models and computational techniques which has dominated technology computer aided design (TCAD) in the past, purely software-related aspects are attracting increasing attention and will become a crucial issue for future developments in this field.

Efficient design of electromagnetic devices requires the analysis of electric and magnetic field distributions. To this end, the boundary element method (BEM) has been shown to be a powerful technique. This paper presents the use of BEM in computer-aided magnetic field analysis. The advantages of BEM over the finite element method (FEM) are stated. The recent introduction of BEM in a generalize...

This research focuses on the development and usage of computer aided learning (CAL) systems in medical domain. It argues that the development and usage processes should be considered as one holistic process, namely process of development and use. A software system is required which is able to facilitate the whole development and use process. This paper proposes model of the development and use ...

Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial computer-aided design tools for embedded system design. In this paper, we elaborate new foundations for contract-based embedded system design by proposing a general-purpose algebra of assume/guarantee contracts based on ...

statement of problem: recent clinical results for zirconia all-ceramic restorations have revealed that the fracture rate 6-15% of the zirconia framework is so low and the core of zirconia has high stability. however, chipping-off fractures of porcelain are the most common reason for failures of zirconia in the fixed partial dentures. objectives: the purpose of this study was to compare the shea...